Thanks for pointing this out — as an FYI, you can DM me about any problems with the OP website. I’ll look into the bug (and make sure we improve the error message, yikes).
Update: Now fixed!
Thanks for pointing this out — as an FYI, you can DM me about any problems with the OP website. I’ll look into the bug (and make sure we improve the error message, yikes).Update: Now fixed!