Mang0 was apparently given a one year ban in July, a few weeks ago.

This market resolves based on the next Major in which Mang0 competes at Melee singles, after market creation. This market does not take into account technicalities about whether Mang0 counts as 'banned'.

Corner case: This market also resolves NO if it has not been able to resolve before the following market resolves NO:
/Tumbles/will-mang0-ever-win-another-major-m

I will be deferring to Liquipedia on which tournaments count as a 'Major'.