Fix minor style details related on the Go page.
Fix a few structural bugs.
CKX: Add missing labels to theorems, add footnote, add dagger domination notation.
Add matter on CKX tuples.
Add matter on CKX main algorithm.
Add matter on CKX tuple priority.