Note: runtime serves embedded copies from src/http_server.c.
Edit both places if you change the UI, or regenerate embeds from these files.