prepare 5.2.1
Cosmetic commit to check whether I can still push to git
Merged from 5.2: cosmetic commit to check whether I can still push to git
Hand-merge from 5.1: fixes to Unix accounts and Debian-specific script
Merge from 5.2: fixes to Unix accounts and Debian-specific script