For those wondering about the redesign of this site, I’ve posted an update.