It seems the situation with Gatekeeper and Developer ID signed apps is not quite as dramatic as I assumed. See the Update on my post if you read it earlier: bitsplitting.org/2019/07/2…