✏️ Editing: gnomedesktop.py