Browser extension that simplifies the GitHub interface and adds useful features