What is the pattern for adding new config options to Sphinx builders?