All this new-fangled stuff…
I’d always thought WD40 was over-rated for shifting rusty nuts and bolts, that tends to confirm it. I still use Plusgas Formula A.
I must say that is something that has never failed for me. WD-40 is good if, like I did once, you need to work under the bonnet of a car in wet conditions. When I’d finished the car wouldn’t start so I treated the plug leads and distributor to a dose of WD-40, shut the bonnet and went inside for a cuppa. Came out after about 20 minutes and tried again sure enough it started first turn of the key.