multiple machines are made available to debian developers for arm porting work: abel.debian.org (armel/armhf), asachi.debian.org (armhf/arm64) and harris.debian.org (armhf).
Repeat this setence, but with the correct capitalization.
Multiple machines are made available to Debian developers for ARM porting work: abel.debian.org (armel/armhf), asachi.debian.org (armhf/arm64) and harris.debian.org (armhf).