emacs: some files are added and modified in replace-colorthemes.