Hier steht es tatsächlich auch:
https://www1.wdr.de/radio/wdr4/ueber-uns/frequenzen/index.html
Ich schwöre, daß seit Jahren der simple Befehl "Hey Siri, spiele WDR 4" bei mir ohne Wenn und Aber immer geklappt hat.
Nie mußte ich etwas anderes, wie z.B. "Rheinland" dazusagen.
Bis gestern, ... :-/
edit:
Habe gerade mal in meiner WDR 4-App für unterwegs geschaut. Da gibt es weiterhin nur ein WDR 4. Da kann man, selbst wenn man wollte, nirgends Rheinland, oder Ostwestfalen oder sonstwas einstellen. Gibt's nicht. Und so kenne ich das auch von Siri/den HomePods. Bislang.
Na ja.