Extension does not uninstall safely

While I'm troubleshooting other bugs in the extension (I'll write them up shortly) I uninstalled formprotection. However, this led to PHP fatal errors of Error: Class 'CRM_Utils_ReCAPTCHA' not found in CRM_Contribute_Form_ContributionBase->buildCustom(). CRM_Formprotection_Upgrader::migrateFromCoreRecaptcha() uninstalls the core ReCAPTCHA extension, but there's no provision to restore it on uninstall.

Unless you have a different suggestion, I'm thinking we could store a setting about whether to reinstall ReCAPTCHA on uninstall which we could set in the migrateFromCoreRecaptcha() method.