Sigh. My Mac mini has died. Luckily it is less than a year old so under warranty but I could really do without the disruption of repair. 😒