The main problem is the rasterization. There's an amazing tool to fix this, called pkfix: wget "https://cs.uwaterloo.ca/~shallit/Papers/change2.ps" pkf

The main problem is the rasterization. There's an amazing tool to fix this, called pkfix: wget "https://cs.uwaterloo.ca/~shallit/Papers/change2.ps" pkfix change2.ps change2-fixed.ps ps2pdf change2-fixed.ps Result: https://shreevatsa.net/post/2023-pkfix/change2-fixed.pdf https://shreevatsa.net/post/2023-pkfix/change2-fixed.pdf Side-by-side: https://shreevatsa.net/post/pkfix/ https://shreevatsa.net/post/pkfix/ (Barebones post with screenshot as I need to go now; will add more details later today.)