remove coqtop
remove pygmentize