What happened?

To make a long story short, this site got accidentally deleted! If there is one lesson for both me and my former webhost to take away from this, it’s that you need to make backups from the beginning, rather than postpone them to some nebulous future time. The loss of time and data had the…