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