Re: DIS: Unofficial executive summary of Proposal 8872

[Edward Murphy via agora-discussion]

I wrote:

Coins were converted to score bonuses, roughly 25 per boatload,

I thought that sounded unusually high. Looks like I somehow botched my
arithmetic, and it was instead roughly 1 point per 25 boatloads.