Denis Auroux - 2015-10-28

Ok. In the meantime, note that "Page height" is an option in the zoom
dialog box (the next-to-last button on the first toolbar).