I made this post a couple days ago but it hasn’t gotten any uptake. Maybe I posted in the wrong location?
Long story short: a device has suddenly gone offline. I haven’t made any config changes, and a reboot didn’t remedy the problem. Logs are in that other post along with the results of a couple commands I saw that were recommended elsewhere.
Any help very much appreciated.