are using a browser extension to selectively enable or disable
Review Request #670
Created May 29, 2017 and updated May 30, 2017, 9:58 a.m.
Bump to 2.5.12 dev.
I don't like this new version number
Another comment here