>>microt+P5
Infocom wasn't founded until 1979 -- this source code is from an earlier version of the game which was widely distributed among PDP-10 systems.
The original authors might have a copyright claim, but it's not clear that Infocom (or its heirs) would.