Long live open source

Just got two e-mailed patches to tla2darcs, a tool I wrote a few
months ago (but have since then forgotten). =) I love open source.