Thank you, looks like I've just been unlucky and "several" was a severe
overestimation. :)
I'll report other duplicates on your community metrics wiki subpage as
soon as I can, but I still don't know what to do with
duplicate/unclaimed commit IDs.
Can you also create the -extensions-svn project so that I or someone
else can add them to the list?
Thanks,
Nemo