I'm trying to resolve #1094 by moving color profile settings into appropriate places — display and printer settings. Here's an explanation of Color Profile settings.