Maybe it's an old school tale, but I seem to remember that WD40 was 73% White Kerosene. Lots of folks use WD40 to take off tar and bug residue, and old adhesive from decals and stickers.
Could it also be odorless mineral spirits? Anyway it works, I just wouldn't use
WD 40 to wipe down my whole car. I,m still not completely sure what is safe and what is not for the finish of my car. Of course none of the kytones, acetone, trichlor. etc. I would venture is NG. But mineral spirits, spot cleanup with kerosene, vaselene, vegetable oil, hair tonic, pizza sauce, I'm just not sure.
Maybe I should practice on a neighbors car when I get home from work at midnight. Anybody want to try some of this stuff on their beater car???? Enjoy!