This should go in `docs/conf/modules.conf.example`, not here.