What's this for? Since we're generating other formats (like tex) I don't think we should use HTML-hardcoded elements like `&copy;`, but instead use some kind of macro.