More TCP predicate docs