Downloading Public Library on Ubuntu

I ran into issues trying to download the Public Library extensions directly through Inform on Ubuntu; every file returned a 404 (evidently a known bug which is fixed for the next release). In the meantime this seems to work:

wget -r --no-parent --reject "index.html*" -e robots=off

(wget downloads a file, -r means to follow links recursively, –no-parent means don’t crawl upward and download the rest of Emily’s site, –reject “index.html*” means not to save the indices, -e robots=off means don’t respect the server’s request not to do exactly this, is the index of the Library.)