Thank you very much for these very interesting insights. And thanks for posting ART Partition.
May I ask: out of curiosity: what was the original mistake in upgrading from 18.06.2 to 19.07.01 i.e. how should one upgrade so /dev/radio devices would be fine?