usermanual: first round of proofreading for new lua documentation