Re: [PATCH] Doc: improve mkdumprd man page