It would have been nice to receive a message to support about this, but we do monitor Hacker News.

We will get this fixed ASAP.