miniwebserver.js has been documented