Never mind, I just managed to get a good enough connection to `git pull`.  I've
tested git-subtree, the manpage is properly generated.  Looking good, so I've
pushed.

Cheers!

-- 
Pierre Neidhardt
https://ambrevar.xyz/