@Tusky thanks. I found it had already been reported on GH and the workaround proposed there to filter all notifications out and then restore the selection worked for me, so as bugs go this isn't even that bad ;-)

Thanks a lot for all your excellent work.