The attack on my server seems to have reduced to 1% of it's original volume,. so I' m turning off Cloudflare's "Under Attack" mode. It's a minor problem for my students, who can only download things in a browser now, instead of using wget. I'll see if the attack ramps up in the next few days.