manticore: documentation updates