FWIW, I would have used a separate PR for adding the option to enable/disable board notifications, not that you should do that now, but it would make this already complex PR a little smaller...