Haha, very funny guys
Relatedly, I remember a parody-site of ncatlab (computer-generated, I think?), but I can't find it anymore.
a Schelling point for those who seek one
