Clarify GJK documentation.