@url{https://redo.readthedocs.io/, apenwarr/redo} (@code{contrib/do} is
from that project), @url{https://github.com/leahneukirchen/redo-c, redo-c}.
@url{https://redo.readthedocs.io/, apenwarr/redo} (@code{contrib/do} is
from that project), @url{https://github.com/leahneukirchen/redo-c, redo-c}.