Not the person you replied to, but I prefer neither of those in this context since they only represent age-based sexual attraction, which may also be given as a diagnosis.

The more fitting name is a “predator” or “sexual predator”. If specific to children, then “child molester”. Both technically correct (as far as I know), while also sounding more serious (in my opinion).