How text watermarking works [Tim Bray]