All, I did only minimal updates to our site so that there's still mostly info about 1.25, javadocs, etc. are still 1.25. I want to make it clear that that is the "production" release. If desired, I can do the full suite of updates for 2.0.0-ALPHA. Let me know what you think.
Best,
Tim
