A server-side HTML-page generator