Jason Tuenge

Correct! On Tue, May 26, 2020 at 11:09 PM Pascal Bugnion wrote: > I guess that's what you mean by "which should probably be moved to > documentation to consolidate...

I just made the edit and pushed to my fork, but without creating a new branch... I'm a bit of a novice with git, so am not sure how best...

I was about to add an issue along these lines, but saw that you've beaten me to it. If/when folks get around to fixing this, I'd suggest reviewing the list...