These are extensions for Sphinx that we use in the construction of our website and documentation.
This repository is usually pulled into the appropriate places as a git submodule.
See https://github.com/dylan-lang/sphinx-extensions/blob/master/documentation/source/index.rst for documentation on the "dylan" Sphinx domain.