On Thu, Feb 18, 2010 at 12:39 PM, Ralf Mattes <rm at seid-online.de> wrote: > BTW, where is the source for the > documentation? Should be included in your checkout. (The HTML /is/ the source.) http://weitz.de/patches.html