I did some more looking and it seems that the only mention is in the CVSROOT/history file. I tried to check-out the contification and it just said that it couldn't find the module, so it seems that rm -rf might not be too bad. Tell me if you want me to do it.