Unwanted system notification during proof script execution

[wadoon]

Executing a proof script, e.g., by the famous schiffl_thm_1.proof results into eight notifications about finished macros.

Please disable notifications.

[wadoon]

It is also annoying on Linux, but at least I can suppress the notification sounds on Gnome.