tiny tweak to download PDF link