Re: [PATCH www 2/1] design.html: mention aarch64 as well as x86_64