Good question, and you will find many answers to it in the AG archives...
In general, most avoid alcohols for fear of surface damage to LPs. My suspicion is that -OH does nothing to the vinyl-chloride, but it likely removes some of the plasticizers and makes the LPs more fragile, even warped, by this extraction.
Over the years, I have cleaned thousands of LPs, using a wide variety of gear and solutions. My advice is KISS. Begin with a simple faucet rinse, followed by a cleaning with an easily rinsed solution (LP cleaner, Castile soap, etc.) followed by a second faucet rinse, then a final rinse in DI or distilled H2O. Let air dry for a minuet, wipe with a lint-free adsorbent cloth and let air dry for ~20 min (depending on your HVAC in your home) until the grooves are dry. Cover with a new inner-sleeve.
If you need to go further, feel free to contact me. We can discuss more intensive protocols...

