[12:52:08] <wm-bb>	 <Arthur> Lucas, that's great, thanks! Are you going to keep it up to date with the extension repository? I expect there will be substantial developments in the next few weeks... (re @lucaswerkmeister: I set up a test wiki for the WikiLambda extension, so that people can try it out (e. g. the editing frontend by Arthur): Not Wikilambda :))
[12:52:23] <wm-bb>	 <lucaswerkmeister> it auto-updates every ten minutes or so
[12:52:56] <wm-bb>	 <lucaswerkmeister> (you can check the update and cron scripts in the tool home directory – cron currently runs on grid engine, I should probably move it to kubernetes at some point)
[12:54:07] <wm-bb>	 <Arthur> Nice!