Thread:Destry1/@comment-26034354-20171029131310/@comment-3302832-20171120143533

Hm, I wouldn't change it. Because some menu or ships do have duplicates, so it's best to use the same format for all of them.