Had an unknown cause Blue Screen of Death twice in the last three days.
Doesn’t seem to be a problem after it has restarted.
Possibly due (apparently) to a hardware or driver issue.
Uninstalled the two latest Microsoft programs, automatically installed since I started getting a problem, Microsoft Mixed Reality, and Skype as I don’t use it.
Hardware checks show no issues. So we will see what happens.