To be more precise, is there a reason we aren't instead pulling ctags as a git submodule?

Josh E-C