Oh cool! The Firefox bug I reported [1] last week has been fixed [2]. One week, I don't think I can complain, and it's nice to know that I apparently gave enough information for them to reproduce the bug and fix it. It looks like it'll be out in release 76 (the current version of Firefox is 74).
And Firefox version 76 has just been released [3]!