{% comment %} A back-to-top button that needs javascript. {% endcomment %}