SmartThings support was no help on the issue either; their reply to me was:
“I would like to inform you that you can log into the Google Assistant app in order to make these changes. The Google Assistant app should allow you to delete or deselect devices.
You’ll need to reach out to Google support for assistance with this.”
…which of course is something that Google Assistant has never had.