Release Notes #603 March 16, 2020 A color theme optimized for red-green colorblindness can now be enabled in user settings.