Fix lineup of copyright lines
and module names and other bits of formatting and typos in headercomment sections.
Do not expire already disabled users, it fixes #3644
Correct typo in file name. Also do not delete users just expire them.