I just got a notification that a WebKit bug reported in 2007 by @danwood, and that I commented on in 2010, “might be fixed” now. It only took 20 years! bugs.webkit.org/show_bug….