To try and track this down, I've looked in
/home/andy/.cinnamonto find the logs. Two files
glass.log.last, both dated Sunday so long out of date. Where does cinnamon keep its logs so that I don't have to go through the painful process of switching all applets, etc. off and then switching them on one-by-one with multiple reboots? And, which system log?