This was a great writeup. I've never heard of the GJK algorithm before.