Thank you for this comment! I think your advice is correct: better not talk about it, and move on. Btw I am now in a weird situation - should I remove my edited comment or not. But I&#x27;ll let it sit there, this thread makes no sense without it :)