I think that DDDs, and Monuments (Their peaceful equivalents) should have names. Even hurricanes have names, and I think that DDDs are pretty more (and literally) earth-shattering. So, why not give each of these a particular name? Because the First, the Second and the Third Doomsday Devices sound cool, but when we reach the Umpteenth Doomsday Devices, it won't be cool.
I also suggest that DDDs have a random (and quite small) chance of terraforming some tiles, due to the tremendous energies unleashed, and perhaps even moving some lands.
So we need some sort of systematic way to name Craters. While we are at it why dont we name storms too! Or Horseman arrivals. DDD explosions will eventually become common enough where it will be a bi-monthly occurence. So don't worry
But the DDD's are something a miner sets out to do/create (much like the monuments). I thought when they were first introduced as a concept, there was going to be some sort of perminent recording of them.