It’s a pity all they can do is defund the library. In better, saner times, there would have been far harsher consequences for perverts grooming children.
Tar, feathers and a rough cut rail would be better.