@selzero If anyone wants to read more about the bug, how it was fixed, and the person behind the fix:

https://arstechnica.com/gadgets/2023/10/22-year-old-firefox-tooltip-bug-fixed-in-a-few-lines-offering-hope-to-us-all/