On Wed, Oct 12, 2022 at 9:02 AM Matteo Merli <matteo.me...@gmail.com> wrote: > Honestly, I don't know why it was ever documented in the README.
BTW: it turns out it was me who added these scripts in the README, in 2017 🤦 -- Matteo Merli <matteo.me...@gmail.com>