Hello CEDET folks, Is the CEDET file-rename branch ready? If so, now is a good time to start merging into Emacs.