Remove unix prompts from HOW-TO for easy copy-paste.