Humanoid League uses the terms "red" and "blue" now