Re: [PATCH v5 06/16] buildman: Drop mention of MAKEALL