{# index.html is implemented by the external client #}