Comment 76 for bug 80895

Wow. I can't believe I'm in this thread in 2021 after I accidentally made a double-comment since my browser got stuck in a refresh limbo, and I can't remove it or at leaast modify the contents to mark it as an accidental double and not to take up more space.

All the other aspects aside, you'd think that the amount of accidental double-posts, extra code-copy-pastes and whatnot is enough to consider this option, just to keep things tidy.

No rush, I guess ... see you in 2030++ something!