File html/gui.html artifact 95289d3b21 part of check-in 1cd99def48