> So it was deprecated and killed. I had the pleasure of being the person who removed support for it from Mozilla's codebase: https://bugzilla.mozilla.org/show

> So it was deprecated and killed. I had the pleasure of being the person who removed support for it from Mozilla's codebase: https://bugzilla.mozilla.org/show_bug.cgi?id=788293 https://bugzilla.mozilla.org/show_bug.cgi?id=788293. Over 11,000 lines of code removed. Everyone on Mozilla's JS team was happy to see that code gone, because it had caused endless problems over the years. I gained even more joy when I discovered that this removal had temporarily inconvenienced the NSA: https://bugzilla.mozilla.org/show_bug.cgi?id=788293#c74 https://bugzilla.mozilla.org/show_bug.cgi?id=788293#c74.