I recently upgraded from Linux Mint 15 to 16 but encountered a couple bugs that made it unusable for me (kept crashing whenever I locked the desktop). Reinstalling 15 was easy enough, but now I have ...