File html/gui.html artifact 4f376c7c3c part of check-in 8b8e58b0e7