Comment by sxldier

Are you referring to https://notes.andymatuschak.org/About_these_notes ?