Jan. 30, 2014
5:28 a.m.
Thanks, I installed the attached patch into the experimental version on github; it accumulates your URL fixes along with some other documentation improvements that were sitting in the queue. This might not be published as an official version before your switchover date, unfortunately, but that's life on the web.