I tried many things, but they all failed early. Doing this to submit a
pull request,
as asked by Fred.