demo: index.html: add link to web server source code