Copyediting review of user_manual/introduction/