Hi Brian, Hi Quim,
Thank a lot for your detailed answers!
I understand the trade-offs there, and I want to thank you again for the notifications which, whatever their form, are definitely a valuable improvement over… well… no notification :)
Best regards,