3 ms·

Thanks! Nothing important, personal site with the source stored in a git repo replicated to a few places, so them folding would just be a minor inconvenience.