Quick tips are random posts regarding something I discovered on my way to something bigger. They usually get longer than “quick” would imply, for which I refuse to apologize.
This is a companion discussion topic for the original entry at https://brettterpstra.com/2013/02/13/quick-tip-chrome-extensions-that-make-github-rock