12 年历史的国产老牌 PDF 工具“PDF 补丁丁”近日宣布开源，已在 GitHub 发布了软件源码。据官方博客介绍，PDF 补丁丁是一个多功能的 PDF 文档工具箱，致力于解除 PDF 文档的烦恼，带有一个强大的 PDF 书签编辑器