Hm. Given the opacity of that config file, I went the way "configure interactively, then roll out the new .htoprc"