Personally, I don't see a need for rigid diff names when we have a perfectly functional rating system already in place, and homogenizing diff names prevents mappers from communicating the mapping style used on the diff (0108, skystar, etc.). Why not let the diff names be whatever the mapper wants and simply make the star rating available to the player as a method of gauging the diff's difficulty?