https://gnulinux.ro/blog-page-7333-debconf20-se-muta-online/plugin/scrolltopcontrol/scrolltopcontrol.js