Push rules: 'rule_ids do not need to be unique between rules of the same kind on different devices', but doesn't mention how (and not sure it's right)

[reivilibre]

Link to problem area:
https://spec.matrix.org/v1.15/client-server-api/#push-rules

Issue
This passage implies that push rules are somehow per-device:

Every push rule MUST have a kind and rule_id. The rule_id is a unique string within the kind of rule and its’ scope: rule_ids do not need to be unique between rules of the same kind on different devices.

However this doesn't seem to match my understanding, which is that push rules are account data and thus per-account. And thus, rule_ids ARE unique for a given user.

I can only assume I'm missing something, but I really don't understand what it is — either way it feels the spec text needs either correction or clarification (to specify the semantics of rule_ids and device behaviour).

[clokep]

This was missed in #1842.