This is a simple editor to be used on the Raspberry Pi (or anywhere?).