util.ht is now in doc