Best current usage of doc.verso?

Stream: lean4

[Joseph Tooby-Smith]

What is the best-usage of doc.verso as it currently stands? Should I:

1. attempt to globally use it,
2. turn it on and off when needed for the doc-strings of individual commands,
3. avoid using it right now,
4. or, something else.

Also is it safe to use with doc-gen4 and commands like docs#Lean.findDocString?

I am particularly interested in its potential use in PhysLean, but I think my questions here apply generically.

[Joseph Tooby-Smith]

To answer part of my own question here, it does not appear that doc.verso is currently safe to use with doc-gen4. In particular, turning doc.verso on in a given page, results in no documentation appearing in doc-gen4.

[David Thrane Christiansen]

The roll-out of the feature is presently waiting on something - there will be an announcement when it's ready for external users.