Replace scale with zoom in most cases. Scale means pixels per point, as
before. The zoom is the screen-size / document-size ratio: a zoom of 1
means that the document should have the same size on screen as on paper.
This fixes many issues with the previous DPI changes, e.g. with link and
search rectangles.