Thanks! Indeed, that's a bug, but I don't want to fix production now because so many people are using the app right now. I'll fix it tomorrow when HN won't care

Thanks! Indeed, that's a bug, but I don't want to fix production now because so many people are using the app right now. I'll fix it tomorrow when HN won't care anymore :-D