Man pages matching name libmicmgmt in section 7: