We have a 1080p tag currently, which means that in theory we probably need 480i, 480p, 720i, 720p, 1080i, 4k etc.

That seems a little too specific to me for this type of site, and the list will only get longer. What if instead we use catch-all tags like HDVideo and UltraHDVideo instead and use synonym tags to point 1080p and its brethren at the former and 4k and its variants at the latter?

Similarly, a DVI tag could be used to point synonyms DVI-I, DVI-D, DVI-A at; we could handle versioned HDMI tags (HDMI1.0, HDMI1.1 etc.) as synonyms too.

Do people think this would prove too blunt a tool when it comes to searching for tags, should we allow proliferation of the specific tags instead?