On Fri, Feb 22, 2019 at 01:54:00AM +0100, Tim Düsterhus wrote: > I suggest to create new pages using the web interface only to make sure > it can handle it. Editing can be done using git.
I agree. I'm seeing antoher benefit to this, which is that it will guarantee that we only use simple things that everyone can modify using the same web interface. Willy