There are now user groups and both groups and users can have
permissions. They don't do any thing yet, though...
Suppressed a mysterious crash that occured very rarely when a specific
person wrote some special characters.