usermanual: update list of manual contributors