Update index.html

public/index.html

@@ -122,7 +122,7 @@
     <script type="application/javascript">
         class View {
             constructor(document) {
-                this.obfuscate_names = true                
+                this.obfuscate_names = false                
                 
                 this.worker_compare = undefined
                 this.document = document
@@ -998,4 +998,4 @@
     </main>
 </body>
 
-</html>
\ No newline at end of file
+</html>