Applied in commit [73bd005b58]. I did some minor formal changes to the commit message, like adding a period to the summary to make it consistent with the other commits. See also the new file CONTRIBUTE in the repository. :) -- Vegard