File html/setup.html artifact 70f7b7c594 part of check-in 8b8e58b0e7