Add how to deal with the great renaming

This could be smarter, but whatever. I only need it for the occasional
machine with an old copy of daveconfig.