Enhanced to include a source kit in the distribution (while removing the
old style source kit). Include HTML documentation in A kit.