chore: rollback renaming

www/scripts/script.js

@@ -120,7 +120,6 @@ function listExamples() {
         var json = request.response;
         if (json.length > 0) {
             var projectsmenulist = document.querySelector("#projectsmenulist");
-            projectsmenulist.innerHTML = "";
             for (project in json) {
                 var li = document.createElement("li");
                 var a = document.createElement("a");