Here I am!
I tested all the methods found into the link Doctor M pointed me to (and several others); the next ones are from the same frame, processed with different scripts;
AnaloClean + MagicUp (best details, noticeable ghosting, much dot crawl)
HaloClean2 + MagicUp (good details, almost no ghosting, residual dot crawl)
HaloClean3 + MagicUp (poor details, almost no ghosting, no dot crawl)
I prefer HaloClean2; details are almost intact, and dot crawl often not shows up, and is barely noticeable only in few frames; it's the best compromise IMHO; AnaloClean has too much ghosting, while HaloClean3 loose too much details for my tastes.
Opinions are welcome.