/patch-pdf-backend.cc/1.6/Sun Apr  3 10:09:58 2022//
/patch-pdf2djvu.cc/1.6/Sun Apr  3 10:09:58 2022//
D