You might ask the old-timers whether any of them knows why this bug is unfixed since 2009. https://bugzilla.mozilla.org/show_bug.cgi?id=505521 https://bugzilla

You might ask the old-timers whether any of them knows why this bug is unfixed since 2009. https://bugzilla.mozilla.org/show_bug.cgi?id=505521 https://bugzilla.mozilla.org/show_bug.cgi?id=505521 Surely there is some rich lore to be mined.