On 31 October 2013 04:55, Rafael J. Wysocki <rjw at rjwysocki.net> wrote: > I've just fixed it up manually, please check the result in bleeding-edge. It crossed 80 columns, otherwise its fine :)