Also known as Wikipedia:Push subscription managers
Wikimedia project page describing the push subscription managers permission that depends on the MediaWiki extension Echo
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).