Comment numbering: PC-only comments and PC+external comments share ordinals.

Before a comment for the PC only would get a separate numbering.
Better centering for Unicode-containing paper titles in mails.

Baby steps...