Maybe I'm hallucinating and someone could check this in theirenvironment, but it appears to me that the Git repository is missingparts of two non-recent commits. See attached patch.