I don’t think he’d be violating it at all. WorldBox, another indie game, similarly released on another site before steam, but however upon switching to steam, they gave out steam keys to folk who had bought it on the other site first, instead of practically scamming them out of more money.