better tags and operations highlighting
delete ctags (they are unusable