A repo for all of our proprietary Google Chrome extensions.