Actually that user probably did more than "Allow". Apps non signed by Apple are prevented to launch entirely on the default config. You have to go disable that protection in system preferences or right shift to launch the app, to go around this. So you really need an extra step and also need to know what you're doing
