On Thu, Jun 17, 2021 at 7:26 PM Peter Geoghegan <p...@bowt.ie> wrote: > Thanks for the review! > > Attached is v3, which has all the changes that you suggested (plus the > doc stuff from Justin).
Just pushed a version of that with much improved documentation. Thanks again -- Peter Geoghegan
