Bastien Fri, 22 May 2020 04:26:47 -0700
Hi Max and John, thanks for reporting this, it is now fixed.
Best, -- Bastien