High CPU usage due to Cinnamon desktop environment - restart with pkill

I noticed that a Cinnamon process was using a lot of CPU whenever I moved the cursor with my laptop’s touchpad. That’s definitely not normal. I restarted the process and the problem seems to have gone away.

The process in question was started with the command cinnamon --replace, so to restart it I just did:

pkill -HUP -f "cinnamon --replace"

-f match the full name of the process.

-HUP signal the process to reload.