Spent the day trying to find ways to fight the DDoS running against Runestone Academy. I think I have a solution for now, but suggestions are certainly welcome. Also learned that Digital Ocean’s claimed protection is useless for a small site.