> 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.

▲

nhinck2 an hour ago | parent [-]

> we can't know if it's illegal or not

I think we can.

	▲	Ukv an hour ago \| parent \| next [-]
		We can guess this is unlicensed, and likely be right, but whether it gets taken down is up to Valve.
	▲	xeyownt an hour ago \| parent \| prev [-]
		And I think we don't care.