Devices tab of the user settings page: the devices registered for push notifications, with removal. View + remove only — a token row has nothing meaningfully editable (token/platform/provider are facts about the device).