On Fri, Mar 23, 2012 at 1:01 PM, Steffen Mueller <mail at steffen-mueller.net> wrote: > So now for the potentially more contentious changes... They're fine (and should not be contentious) as long as they are minimal solutions to real problems. I've made a few cosmetic fixes to the text. -Pieter