2 ms·

I believe he meant the GitHub thread, though those are still useful extensions (for Chrome users...).