Hi Johannes (and all),
I advocate for dropping:
Sounds good to me. I'll delete it soonly unless someone wants to argue
for keeping it.
why TL advertises armhf-linux for the Raspberry Pi
I just write down what I'm told. The apparently-ever-changing state of
ARM, RPi, hf vs. not, etc., is nothing but a bafflement to me. -k