Update https://hal.github.io/ and add documentation about the extension mechanism, the JavaScript API and how to write, publish and use extensions.

Add this block to the front matter of content/_index.md

  - heading: Extensions
    icon: /img/plug.png
    teaser: Customize the console using runtime extensions and the JavaScript API.