为高教社文档阅读器添加PDF下载功能。该脚本在高教社文档阅读器页面上添加一个下载按钮，允许用户将文档以PDF格式下载到本地。
Aquí están todas las versiones de este script. Mostrar únicamente las versiones en las que hubo cambios de código.
