File html/gui.html artifact 8c9d3bdc20 part of check-in 93aac20151