Tim Porter Upload menagerie10.pdf

Please note that regardless of the name of the file you are uploading, it will be named menagerie10.pdf on the nLab. To change the name which the file will have on the nLab, please go back and edit the page that refers to the file.