>>\r
endobj\r
\r
-Vermutlicher Bug: https://gitlab.freedesktop.org/poppler/poppler/-/issues/387
\ No newline at end of file
+Vermutlicher Bug: https://gitlab.freedesktop.org/poppler/poppler/-/issues/387\r
+\r
+Eigentlich werden fixed-width-Fonts schon besonders behandelt, seit 2012:\r
+\r
+- https://gitlab.freedesktop.org/poppler/poppler/-/blob/62727d0119b4e1a6c000506f47673385f7eccd43/poppler/GfxFont.cc#L717\r
+- https://gitlab.freedesktop.org/poppler/poppler/-/commit/4fcd42cfa4424992cd4b36af38bc6230ce0706c9\r
+\r
+\r
+Substitutions::\r
+\r
+ $ pdffonts -subst 2021-90003.pdf\r
+ name object ID substitute font substitute font file\r
+ ------------------------------------ --------- ------------------------------------ ------------------------------------\r
+ RFont0 12 0 DejaVu Sans /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf\r
+ RFont1 13 0 DejaVu Sans /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf\r
+ RFont2,Bold 14 0 DejaVu Sans Bold /usr/share/fonts/truetype/dejavu/DejaVuSans-Bold.ttf\r
+ RFont3 15 0 DejaVu Sans /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf\r
+ RFont4 19 0 DejaVu Sans /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf\r