Option only for daily mail

[LaOberon]

Is there an option in the configuration file to activate only the daily mail?

[mressler]

Jumping in on this one to request finer grained control over what notifications are emitted. I am inundated with proofs being found to the point where the whole thing is too noisy. How do I turn on or off just one message?

[martomi]

See: #252
Solution got merged into dev branch yesterday and I'll release it to main within next day.

[mressler]

Fantastic, thanks!