Was I too mellow in post #6 ?
I just thought that Quisling was a better choice of words. I’ve been using it for the past week or so.