Thanks @ZackDS for pointing out this distinction, which I had in fact missed. The two nodes are in different data centres, hence having different node operator IDs even though they are owned by the same node provider. Does this help to clear it up or was your point more that the proposal should have explained this detail for the benefit of newcomers?