> Thanks, I pushed this to the master branch.

[ confetti ]

> A few minor nits about the docs, for the future

Thanks, this is very helpful. I never did anything with texinfo before
this, so good to know.
​