Some minor cleaning up [ci skip].
Keep track, from one session to another, of the zoom level used by our various QScintilla-based views.