Re: [PATCH-for-10.2 v3 0/2] docs: Update around MIPS/PPC host removal