‎ 's Highlights on 'How do I save terminal output to a file?' | Glasp