* branches/0.11.1: Copied from branches/0.11.0, since the HEAD of 0.11.0 has really been 0.11.1 ever since revision 1692. (We'll have to figure the interaction between our branching practices and the tags/ & branches/ directories better.)