Finally got around to disassociating the garage door relay+sensor from SmartThings to move it over to Home Assistant. I have no idea why I waited so long to do so, either - it took almost no time at all and it had long since stopped working (since Samsung deprecated the service that the previous homeowner used to integrate the relay into SmartThings), so there was not even a downside if I was unsuccessful, since it wasn’t working anyway.