An extension for Google Chrome that improves the GitHub web experience