Edit File: dotty.1.gz