Just a heads up -- I just pushed the 4.12 docs onto staging. When we feel good about the Team page, we can publish both changesets to production. Whomever ends up doing that -- just a heads up, it will take a long while (>15 minutes) for everything to get pushed because of the number of changes that have to be published.
-Nick