Add note about ctags to the docs