Changes in text; links to sbt12 branch