I replaced the `man` command with a Python TUI — and it's actually useful

We've all been there. You're deep in a terminal session, you forget a flag, so you type man grep —...