A simple, opinionated Gtk source code editor