Changing display color profiles easily
I found a little tool called customdisplayprofiles, which lets you switch profiles by running a command like customdisplayprofiles set /path/to/profile.icc. I put that into a shell script in ~/Library/Scripts/, and now I can switch profiles from the menu bar again. You can find the .icc files in /Library/ColorSync/Profiles/ and ~/Library/ColorSync/Profiles/.