darcs patch: Make documentation validate