This site now runs on Indie Web Server

In the interests of eating my own hamster food1, I just switched this site from nginx to Indie Web Server. The only complication in the process was that I had to update the hostname of the server to match the domain name. Otherwise, the whole process was basically as follows: # Disable nginx. sudo systemctl disable nginx # Copy the web directory into a more human-sounding place # (not necessary but I like it better, so there!