A lockdown editor for GNOME