Add "topological operation identities".
Merge branch 'master' into pdf-release
pdf update.