make config.html simpler.