Bye-bye Debian!

This website has been redeployed on NixOS, which also entails I have Debian on my machines no more. Bye-bye Debian, my loyal friend for the past seven years!