Changes to tekdoc.