No error messages in the Xorg log, but it does look like there's some ongoing bugs happening with Cinnamon. Hopefully they'll be resolved soon, in the meantime I'll try some of the other desktop environments. Thanks Sven, Darac, and Christoph for your advice! -- Paul Anzel Graduate Student in Applied Physics California Institute of Technology