Nightly builds will be sporadic for the next week, and almost
certainly nonexistent from 28--30 May. If they fail to show
up again on the 31st, please let me know, as usual.
Nightly builds may be intermittent this week, depending on hotel networks.
Hotel internet was down when I arrived, but mysteriously started working sometime during the night...anyway, builds may be erratic this week.