Yeah riot was renamed, as they finally admitted that it was a weird name with negative connotations.

Never understood what was wrong with the name vector by the way. That was even nicer IMO.