I am not sure whether this will be useful in the long run, but occasionally I run into a situation where I want to exchange a few comments with some other user and it does not seem that suitable for comments on the main or for some other chatroom.
@Raff I did not know where to ping you (I cannot ping you on a deleted answer), so I tried here. I wonder whether it was necessary to delete your answer here. Mainly because the other answer references your answer: "and, as another answer says ...". Feel free to ping me here if some further discussion is needed.
BTW Raff I wanted to thank you for many edits you do, mainly for introducing context in posts which were put on hold (like here). I think that this is a very useful do and that you do it very well.
I have to leave now (for a seminar), but I'll be back...
