Comment by tkainrad

I deployed two minor (unrelated) bug fixes shortly after posting on HN. I thought this works without downtime etc., but maybe you somehow downloaded an incomplete version of the JS code. Not sure how that could happen.

Anyway, glad it works now!