If you’re a heavy user of the GNU/Linux command line, then you’re already familiar with the man command. If you’re a newbie, the man command (short for manual, as in RTFM) pulls up the online documentation for terminal commands and outputs it to the same terminal. Perhaps you wish you could have some of these …