[RustyRussell]

How embarrassing! It's greatspectations.org not .com! And I can't edit the URL.

Thanks, I will resubmit, and let's pretend this never happened? Eeek...