[bzbarsky]

To be fair, I _think_ the pinning was only added in Firefox 32, back in September. So it's a pretty recent development.