un-mess the doc-base file, at the expense of not advertising ucsim docs