Clean up: theme, nrepl ansi hack, no win-switch, no ctags conflict.