This was the wrong Google Group ;)