MUCH faster `pijul add -r`

Created by  pmeunier  on December 11, 2020
OJZWJUF2TCGZ7RFVY6FPKBS5P3C4BGHZDPVH775OHVNVFMJICKNQC
Change contents