Disable rst2ctags support since it is too slow for routine use.