On Mon, 2018-06-04 at 20:11 +0200, Matěj Cepl wrote: > > > A git pull request would be nice but we do not have an > > official git repo for the engine. > > I shouldn't ask "Why?", right? Well, not me, at least. I use git for all I can. Peter