Comment by latexr

> Indeed, no hard disagree, merely details :)

Hard agree! Though the discussion was short, I thank you for it. Good start of the week, I wish you a good one.