I'm not making a judgement on Mozilla devs and their competency or work ethics, and I don't think OP is either, but the fact remains that the bug is there and I'd guess it's decently easy to replicate given that I've encountered it in the wild a lot. If it's one tenth as usual as my personal experience suggests it should be at the top of their backlog.