Editing File: /usr/share/man/man1/dotty.1.gz