PDF补丁丁是一个多功能的 PDF 文档工具箱，在 2009 年开始，我开始了该程序的开发，到现在也已经有十二…