Doc generators now do a better job of renaming.