The guys have licensed Quake off ID (although I didn't think you could do that anymore, so they must have made a damn good pitch) so their use of all baseline Q1 stuff in a non-GPL game is perfectly legal.
Edit: it occurs to me that they may have acquired a Q1 license a good time back.