Re: {.hint[XDeclaredButNotUsed]:off.}

[moerm]

That's why I didn't use push pop but plain .hint[...]:off

And I _does_ work. Sometimes. And sometimes not.