These are extensions for Sphinx that we use in the construction of our website and documentation. This repository is automatically pulled into the appropriate places as a git submodule.