Regardless of what kind of cleaner is used, it is still necessary to clean the gunk off of the stylus AND the cantilever. A Magic Eraser sorta works on the stylus but isn't completely effective.
Looking at the problem from a microscopic perspective, the gunk needs to be softened to help release its bond to the stylus AND the cantilever. Some kind of mechanical action needs to be used to remove the softened gunk.
Raising and lowering the stylus into a dry Magic Eraser may help remove some of the material, but gentle brushing (back to front) will be much more effective and will get the build-up off of the cantilever.
The fluid used to soften the gunk can be most anything that will not loosed the glue bond of the stylus, and something that will dry leaving no residue.
This debate has been endless and will not end soon. As long as there is vinyl, there will be discussions about cleaning the components in the chain.
BTW, I use DiscDoctor Stylus cleaner and some cleaner that was given to me when I got my Clavis dC. In examining both cartridges, there is not residue present on either stylus or cantilever. I also have a Magic Eraser block which I have used a few times.
But what do I know.