* HTML_reactive.on_background:
  New. Create self-updating HTML5 element.

* HTML_autotest:
  Use it to synthetize global status.

* COMMON_pervasives:
  Tuple projections.