For operating systems, the Optiplex is running Arch Linux, so that the server can get the latest packages as fast as possible. As there's not many good rolling release distros that work on the Pi, the Pi is running - Rasberry Pi OS Lite, essentially Debian with more stuff preinstalled. Both servers use Caddy as their webserver, - although hopefully they can be migrated to something that uses less resources, like Nginx, in the future. (We - have plans to start making Nginx listen on a seperate port, and reverse proxy it through Caddy while rewriting - configuration files for it.) + Rasberry Pi OS Lite, essentially Debian with more stuff preinstalled. The Pi is currently using Caddy. The + Optiplex is primarily using Caddy, although some hidden services are on HAProxy and a few clearnet things are + also using HAProxy.