Sphinx extensions for the Dragon tasks system