Copyedit user-visible text (closes #514)