Update defgen-config.html