if you get the url from plan9.escet.urjc.es, you can edit
it also to be *.pdf.gz and the like.