Keel documentation

I couldn't wait for Mike to announce it....has anybody checked out his new
2.1-dev javadocs on the Keel doc page
(http://www.keelframework.org/release/2.1-dev/javadoc/)? Let's see if anybody
can tell what the difference from the previous format is :-)

I have a question for the community as well.  I will be spending some time
over the next week or two updating app-hoj docs.  The plans are to take away
duplication from stuff covered in the Quick Start docs, and add a little meat
to the Persistence tutorial.  Also, planning on adding a section on writing
Keel services.  The question I have is this...should I keep this as 2 separate
docs: QuickStart (Env. setup, project creation, IDE), and Hands-On tutorial?
Or, just merge into one?

Shash