<div dir="ltr"><div class="gmail_extra">Would you submit this as a git-format-patch patch? It looks mostly good.
</div><div class="gmail_extra"><br></div><div class="gmail_extra">Also - please take care the changes you've made to the manpage regarding end-of-line spaces. Split that into a separate commit if you think it's a necessary change.</div></div>