Comment by Ukv

> just because they won't do anything now does not mean it is legal to redistribute it without their consent

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.