Paste in text for user-manual option from user-manual section.