https://gnulinux.ro/blog-page-873-resetarea-ubuntu-desktop-la-setarile-implicite/blog/cat/1/plugin/scrolltopcontrol/scrolltopcontrol.js