I do not know about this specific problem, but I have had some incredibly
subtle issues resolved very quickly by going to groups.google.com It is
some sort of index to newsgroups.
Taking a little time to refine search terms and having several goes at a
search has worked best.