I'm not sure the aluminium foil is a good idea - the antenna would be tuned and it's possible that adding extra metal to it will mess up the tuning.
If you look at the spring contact itself, you'll see there are two folded-in bits of metal on the side which stop the spring contact going out further. You can fold those out flat and then gently pull on the spring contact, and that should allow you to get it to out out further/with more force...
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
There are various electrical contact cleaners available you could try? Like https://www.amazon.co.uk/WD40-Drying-Contact-Cleaner-250ml/dp/B00KPUBO2S/ref=asc_df_B00KPUBO2S/ or https://www.henkel-adhesives.com/th/en/product/electrical-cleaners/loctite_sf_76550.html - I keep one here and it gets used pretty often for household things.
I'm not sure the aluminium foil is a good idea - the antenna would be tuned and it's possible that adding extra metal to it will mess up the tuning.
If you look at the spring contact itself, you'll see there are two folded-in bits of metal on the side which stop the spring contact going out further. You can fold those out flat and then gently pull on the spring contact, and that should allow you to get it to out out further/with more force...