I wrote a script to download PDF documents in bulk from docs.redhat.com. It might break if the site's HTML changes in the future, but please bear with it. gist.github.com