PDF Downloader

Notes:
- PDF should be fully loaded (can be done by scrolling till the last page) before attempting to download, otherwise unloaded parts of the pdf may be missed out.

- PDF files viewed in google drive may accidentally be merged with other recently viewed files when downloading. This can be prevented by opening the files in a new tab (as seen in the third screenshot provided).

- Does not work on files already embedded in the print menu (These can be downloaded by clicking the download button provided on the top right hand corner of the page)