Just in case it helps - I followed this guide to get Mint’s Network Manager working with the Cisco AnyConnect OpenVPN thing (needed it for work) which worked well for me, I guess the steps should be fairly similar for other stuff.

Edit: fat fingers made me type “caze” instead of “case”.

Oh yeah absolutely, I wasn’t criticising you at all, was just noting the ‘in mice’ thing that’s all!

Where’s that old Twitter bot that would append in mice to reports of these bullshit studies?

RFM Radio popped up when I searched on f-droid (IzzyOnDroid) just there, says it’s incompatible with my version of Android and it requires root but it does actually use FM radio.