When you do get it released, there's a great version of WD40 that's a silicone based lubricant which is great for making plastic bits slide a lot free-er. Just a squirt and a wipe over.
https://www.screwfix.com/p/wd-40-specialist-silicone-lubricant-400ml/86394
Dfggx, October 2021
