Pint for GitHub: The ability to theme GitHub in a simple Chrome Extension. | Product Hunt