Ah yes, you’re right. I had completely forgotten about this, simply because I haven’t used it. But yeah, it’s a big annoyance for a lot of people.