Typo in manual

Remove remains of old role syntax
Fix Trac #7667.

We no longer check capitalization (or colons) in names that come
from TH, according to the commentary in #7667.
Trivial comment fix. (#8358)

Version of Happy required is now 1.19.