Per title. We should investigate whether to fix them or take them down.
@MusikAnimal was kind enough to upload a patch and I've merged it. However the tool is not working. I must also note that using webservice (kubernetes) with php7.2 delivered a blank page on the tool too, so I had to restart it using the legacy php5.6. Maybe the tool also needs to be upgraded to use the latest PHP versions...