First looked it up on Chrome on the PC.
Seeing that the instructions specified that removing a device could only be done on via a smartphone or tablet, I went into my Google account on my current Note 9, drilled down to "manage devices", saw the "old" Note 9 listed, and discovered that there was...