Like so many industries, the PC market had a bad 2023 – its worst ever year, according to Gartner – as shipments fell 15%. But the fourth...