Embed Notice

@gnomon My manager would probably be happy to get me a new desktop and would likely urge me to if I mentioned that it dates from the end of 2017, but I hate shopping, especially for PC components.

(I sort of have alternate hardware if it explodes, and as time goes by I slowly get increasingly nervous about that possibility. Five years is pretty decent lifetime for eg CPU fans. Of course the home desktop is also about that old.)