https://ubuntuhandbook.org/index.php/2013/08/man-page-editor-gui-on-ubuntu-linux/