Hallo Mike!

 MP> I guess it sort of makes sense, although most distros (including
 MP> debian, which they source from) keep both a 32-bit and 64-bit
 MP> version going.

Yes but both x86 and x86_64 are vastly more mature than any arm based linux
distribution is concerned.  Originally linux was a PC based and back then that
meant i386 and i486.  My first linux (slackware 3.something) was on a 486. 
Next came a bootable CD install to a pentium1 laptop that had a bootable CD-ROM
 that I managed to hack as a marine GPS using the serial port which they were
still supplying back then in laptops.  No usb.

Speaking of raspberrypi-3+, I am currently having issues compiling glibc-2.28. 
 I've managed to pull it off in a crosscompiling enviroment but not on an
actual native raspberrypi.  In this build I am using
armv7l-unknown-linux-gnueabihf (32 bit).  I'll worry about 64 bit once I figure
 out what I am doing wrong.

Het leven is goed,
Maurice

... Huil niet om mij, ik heb vi.
--- GNU bash, version 4.4.23(1)-release (x86_64-bonnell-linux-gnu)
 * Origin: Little Mikey's EuroPoint - Ladysmith BC, Canada (2:280/464.113)