Since I have my twitter account set to delete everything older than 30 days, I’m reposting this here for posterity.