[http://bodger.org/|Bodger], [http://community.nbtsc.org/~noam/|Noam], and I were discussing this; Noam found the account given here.