

Yeah, sure, semantics: when laydudes think about “vpns”, they expect exactly a set of features provided by a proxy, so it’s pretty much a marketing term nowadays. Nobody really cares whether the packets between their PC and the endpoint are wrapped in wireguard or socks5, unless some protocol happens to be blocked.
Also kupfer (pmos but arch), ubports (ex Ubuntu touch) and droidian (similar to ubports with being halium-based but Debian and conventional DEs, hence, it’s supposed to actually run software). Mobile-nixos, to some extent, although it’s more of a PoC, in my experience