Debugger HTML interface implemented