Removed ctags code; will come back to that later.