It seems that Thunderbolt no longer works on my laptop. That is... annoying. Because it is not that old.
Fortunately, my old "hot spare" laptop still works, so I can get on with my work.
But it looks like I am in the market for a new laptop. I'm not sure that I'd go for a ThinkPad again, which is also annoying because that has been my go-to for a while.