Odd, if I type the title into google groups search it returns no results (as you stated), but in regular google search the google groups post is the first result.