A 55 year-old Linux tool revived: ChatGPT is driving me back to man pages How-To Geek