Dynasty Trophies

One thing that would be nice to have in the new trophy case would be a way to delete the accompanying dynasty files. I love that they are there even after the dynasty file has been deleted, but it would be nice to get rid of dynasty trophy files of dynasties that you decided not to play following its creation, or accidentally created.