On to, 2011-01-20 at 09:42 +0100, Stefano Zacchiroli wrote: > Agreed to both, but don't underestimate the risks of copy-paste. I > suggest the attached patch, which uses an explicit invalid placeholder > in the examples, hoping it's clear enough that it's a placeholder. Applied, thanks. -- Blog/wiki/website hosting with ikiwiki (free for free software): http://www.branchable.com/