Colorized man pages: Understood and customized http://boredzo.org/blog/archives/2016-08-15/colorized-man-pages-understood-and-customized