As always, you seem to be the master of finding information on XDA. Thanks for the research!He also cited this:
https://forum.xda-developers.com/android/development/wireguard-rom-integration-t3711635/post74667364 which should help.
I think I'll give it a go using the "Method B: Integrating into ROMs" - who knows what will happen.
When the November-2020 patches arrive, I'll build as usual without explicit WireGuard stuff - and then build a separate ROM with WG included.
Kind regards,
FWieP