This is a post that originally appeared on my old website in August 2014. It's one of the posts that was too large or complicated to be migrated to my new blog platform in 2018, and I'm steadily (well, erratically) migrating those old posts manually so