Portal världsrekord Speedrun på under 10 minuter, något kontroversiellt