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 incomple

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!