documentation taking into account recent branch renaming
Merge branch '13.09'