On Wed, Oct 12, 2022 at 9:02 AM Matteo Merli <[email protected]> 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 <[email protected]>
