Wikipedia(英語版)によると2017/04にPubSubHubbubからWebSubに名前が変わったらしく多分英語圏の人もこの名前良く分からんってなってた可能性ありそう