I don't think the parent comment is claiming it's legal, other than the (unlikely) chance that this is licensed, just that it's up to Valve to enforce and not really our concern. A lot of cool things (like the similar https://noclip.website/) are prima facie copyright infringement.
