I just noticed the part about FSF Librephone being based on LineageOS (therefore, Android).

Has anyone told the FSF that it isn't "GNU/Linux"?

I suspect that Purism has the better idea for a sustainable starting point for an FSF-ish phone.

I'd be curious why FSF is barking up the Android tree again (the massive, intractable Android source code tree).