`TrophyID`s are the IDs corresponding to individual Trophies. Internally these are flags; to be specific, `GlobalTrophyGetFlag`s but I ommited this in the actual pages and within MyTags to avoid people attempting to find the IDs within flag config. Since it is not a core flag type, it is therefore not defined nor referenced there.