sent from a phone > On 15. Aug 2020, at 19:12, Paul Allen <pla16021 at gmail.com> wrote: > > If we decide that > we want to tag such things in the first place. as there was significant discussion how to tag them, it doesn’t seem that not mapping them is an option we still have to discuss Cheers Martin