pragma: foo (eg: benign) should end up in index / documentation

[timotheecour]

benign ends up all over the place (197 locations) yet we can't find it in nim docs (nor https://nim-lang.github.io/Nim/theindex.html)
it's defined here:lib/system/inclrtl.nim

when defined(nimlocks):
  {.pragma: benign, gcsafe, locks: 0.}
else:
  {.pragma: benign, gcsafe.}

I'm guessing the problem is that {.pragma: foo.} isn't considered an exported symbol, however maybe there's something we could improve here, so that it would still end up in documentation ?

[alaviss]

Why would it need to be in the documentation? Is it referenced somewhere?

[timotheecour]

because it appears in so many places (197 for benign), so having it appear in documentation (would be done automatically for pragma definitions) would help anyone working in compiler/stdlib

[Araq]

System should list it manually in an ## section with the :idx annotation.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. If you think it is still a valid issue, write a comment below; otherwise it will be closed. Thank you for your contributions.

[timotheecour]

see also timotheecour#146, more generally