I've created a <charinsert> extension which produces the little
used in wikitext, such as the 'copyrightwarning' messages which was
I set up the English Wikipedia chars again using this:
Please feel free to set up the appropriate equivalents at the other
'pedias, 'tionaries, and all.
-- brion vibber (brion @ pobox.com