Wow, that link. That’s really cool! I had no idea. This is what you get from always playing pirated copies I suppose, haha.
So the backstory to Doom actually exists and it’s also remarkably detailed! Although it wasn’t uncommon in those days to include loads of backstory to the manual, it’s still a bit surprising they thought about all this stuff and then basically… put none of it in the game itself, lol.