How to install Extension manually, ignoring certificate warnings?
I had to delete com.drastikbydesign.stripe.xml from the civicrm_extensions/cache folder, then use the Refresh button on the Extensions page.

Only then did it pick up that the Stripe Extension folder had been copied locally (rather than remote), and let me install manually.