https://gnulinux.ro/blog-page-6789-nixos-1903/blog/cat/3/plugin/scrolltopcontrol/scrolltopcontrol.js