Right, and that usage was later carried on to Unix man pages. Hence this tiny but handy script I wrote (and have used for years), to strip those formatting char

Right, and that usage was later carried on to Unix man pages. Hence this tiny but handy script I wrote (and have used for years), to strip those formatting characters: m, a Unix shell utility to save cleaned-up man pages as text: https://jugad2.blogspot.com/2017/03/m-unix-shell-utility-to-save-cleaned-up.html https://jugad2.blogspot.com/2017/03/m-unix-shell-utility-to-...