Add cyopright notice at the bottom -- not so much because it's

important, but because otherwise the CSS rule that's meant to format
it grabs something else instead ... with hilarious consequences!!!