The Mozilla bug that I reported has been fixed! Clearly it was the clarity of the original bug submission that helped ensure that the bug wasn’t pushed down the priority list into the no-mans land of “never to be fixed”…