Thank you very much again, and of course you are right.

But to clarify my last comment: I intended it to exclusively relate to your statement in your next to last comment which begins with: Even if the :std option of the open pragma were to be lexically scoped, ... This statement has made me think about it some time. Notably, if choroba had been correct, this would mean that we theoretically could remove every use pragma (lexically scoped or not) from any module we are including provided we have that pragma at the top of the main script. Obviously, this is not true.

This has been an understanding problem for me, so I have written the comment which (as mentioned above) was only relating to lexically scoped pragmas.

Thank you very much again,

Nocturnus