07/28/2022, 10:28 PM
A few of our documentation pages are not versioned, so we need some convention for publishing those, presumably from main, and not cherrypicking them to stable branches
07/29/2022, 2:49 AM
can we update those with Readme tool?
07/29/2022, 5:37 AM
I'm not sure how that interacts with setting the version on the cmdline
TBH the rdme tool's semantics are very sketchy