A simple command line tool to download pdf files on the internet