Has anyone had experience using the Firefox add-on "Color Management 0.4" and, if so, is this my best option for enabling Firefox color management?