Grr, applying diffs between revisions multiple times to try to get things
to apply cleanly ended up doubling Jeroen's entries in the developers list
rather than removing. Must remember to view a unified diff just before a
commit. Sorry.