edn, rdf and fuseki-upload sections added to index.html