manticore: updated documentation