Sphinx extensions for SeqAn documentation