This is an attempt to provide pijul with a best-in-class editor experience, using as little JS as possible :)