Remove blocked_ctags, and a few knock-on simplifications.