usermanual: update list of manual contributors
Merge remote-tracking branch 'original/master'