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)