* HTML_scroll: New.
  A proper module for the Swiss Army widget.
* HTML_scroll: Handle "push" request.
* Cleaning up.
* HTML_widget.show_or_hide:
  Fix instability through multi-HTTP-requests by ensuring that the
  fragment to show or hidden is a global element.