Definitely fan-made. The formatting feels off, probably because it was originally a text file that was converted into a PDF. Thus you see section headings with proportional font, but body text in monospace with ASCII art diagrams and tables.