Grayscale PDF

Convert a PDF to true grayscale — the colour is rewritten to gray in the file itself, and the text stays selectable.