Ah, never mind. I found the details here: https://bugzilla.mozilla.org/show_bug.cgi?id=996038#c27.