Wow, that extension is a gold mine of much needed GitHub functionality