Nim language manual, push pragma is not explained well

[StefanSalewski]

https://nim-lang.github.io/Nim/manual.html#pragmas-push-and-pop-pragmas

From explanation I always get the wrong feeling that push works for options only like

{.push checks: off.}

But works for many pragmas, for example this works fine:

{. push inline.}
proc t1: int = 0
proc t2: int = 1
{. pop.}
proc t3: int = 2

echo t1()
echo t2()
echo t3()

And this section is not absolutely clear also:

https://nim-lang.github.io/Nim/manual.html#pragmas-compilation-option-pragmas

"The listed pragmas here can be used to override the code generation options for a proc/method/converter."

{.checks: off, optimization: speed.}

So does this apply only to the next proc/method/converter or to whole module? From explanation I would assume only to next, but I have the feeling it applies to all code after pragma location?