Added some details about SwingSet3, and Laffy