✏️ Editing: gnome-manager.cgi