doc+run: update to mana-20130206