Proof files were a pain in the butt - 4 days to establish something so simple, it would seem.
But, on the other hand, Phase II, which I expected would give me a lot of trouble, is going far more quickly than expected. I'm now guardedly optimistic that this will be finished around the last of November. We'll see.
I'm due to head to WA next week to host - will use spare time, if any, to post new games on my website. Louisiana has a new game called Easy 5, a 5/37 game, which is calculated - thanks, prisoner06.