I can’t delete this topic, so I’ve just removed the text. The original topic was found not to be a problem.
