My Websites with Isabelle development resources are presently down for maintenance. I need to figure out how to get rid of dumb "AI" bots --- This is becoming a pest. The Caddy webserver has some add-ons specifically for that. Lets see if/how this works ... Makarius