I'm not sure about the server history, but it's a LAMP stack.
Judging by its previous ID (10039) being over 10000, I'm guessing what
happened is that extension was added sometime between 1.6 and 2.5, then a
discover install for the extension was used via
administrator/index.php?option=com_installer&view=discover, thus giving it
the next ID in the discover queue (in this case 10039). I'm not sure
though.
Not sure it's worth reporting as a bug either. I can if anyone else feels
like it should.
Kind regards,
Nick
>>> sql/ joomla.sql#L619