thank you all. Thought reboot was a good prophylactic thing to do, at least to clean up memory leaks. Will now just go on a moderate crt-alt-del regime...