Enhancement: Keep scroll position despite zooming

[DarkTrick]

1) lsb_release -rd
=====================
Description: Ubuntu 19.10
Release: 19.10

2) apt-cache policy devhelp
=============================
   devhelp:
     Installed: 3.34.0-1
     Candidate: 3.34.0-1
     Version table:
     *** 3.34.0-1 500
           500 http://archive.ubuntu.com/ubuntu eoan/universe amd64 Packages
           100 /var/lib/dpkg/status

4) Current behavior:
======================
Zooming in / zooming out through mouse wheel returns the scrolling position to to the top.

3)Suggested behavior:
======================
Zooming in / zooming out through mouse wheel does not change the scrolling position of the site.

ProblemType: Bug
DistroRelease: Ubuntu 19.10
Package: devhelp 3.34.0-1
ProcVersionSignature: Ubuntu 5.3.0-40.32-generic 5.3.18
Uname: Linux 5.3.0-40-generic x86_64
ApportVersion: 2.20.11-0ubuntu8.8
Architecture: amd64
CurrentDesktop: XFCE
Date: Sun Apr 26 23:47:18 2020
SourcePackage: devhelp
UpgradeStatus: Upgraded to eoan on 2019-12-01 (147 days ago)