header comment for userdict, fix uplatex references in comments