WFDownloader code to dl/rename archive.org pdfs

@label[id=1, label = "detail page", urlregex=#/details/#] 
goto '.show-all' fetch first 1 a_href indirectly only links matching #/download/#
customname $htmlval: 'h1.item-title' .textval workout extension customsubfolder 'archive.org' {via label 2} 
else goto '.C234' fetch all a_href indirectly nextpage location 'a.page-next' followNextPagesOfNextPages { 
goto '.show-all' fetch first 1 a_href indirectly only links matching #/download/# 
customname $htmlval: 'h1.item-title' .textval workout extension customsubfolder 'archive.org' {via label 2}}; 
or 
@label[id=2, label = "download page", urlregex=#/download/#] 
goto 'table' fetch all a_href only links matching #.pdf#;