On Tue, May 24, 2022 at 07:26:59PM +0000, Eric Biggers wrote: > Thanks Ted! It looks like some of the documentation still needs to be updated; > can you consider the following patch? Thanks for doing the documentation sweep! I've applied your patch. Cheers, - Ted