Server troubles / 1.0.2 is out

We've been having some server trouble, so you might not have noticed that we released version 1.0.1, which cleared up a couple of minor bugs in 1.0. Unfortunately, 1.0.1 introduced a new bug of it's own; that's been cleared up, and now 1.0.2 is available for download.

At this writing, there's still something wrong with downloading the Windows version; we hope to have that cleared up very soon.