✏️ Editing: hasmntopt.3.gz