On 2020/04/12 11:46:47, lemzwerg wrote: > Maybe this can be short-tracked to quickly get rid of the faulty webpage?
This already is in master, see the commit Han-Wen noted above. The problem is somewhere else, and I think I know how to solve it (correctly)... https://codereview.appspot.com/581880043/
