Text this: Contextual equivalence for higher-order pi-calculus revisited