:I would personally see no objection to inserting and could not have done so, if that were actually helping a reader to understand anything more than the present version, but when others see that later someone could well be tempted to trim it out as unnecessarily pedantic or verbose, without adding any clarity. I do not see it does anything for the point of view that has been grumbling about the present version, but it is more likely to excite unverified conjecture, as given above at some length. Your previous proposal is the better one: stop this theoretical discussion, not add anything more and not respond to anything. Cheers, all!