Virtus.pro eliminated from BLAST Major: good riddance!