Extensions are no longer duplicated on found updates; fixes #422.