Documentation: changed coverall branch