Docs: reformat "users" section, droppped "erasmus student" (same as normal student)