@nmcl I opted out of discussions with one particular commenter a long time ago, many others did the same. Better for your sanity.