index.html: added server version