That's not how colorblindness works. Green things aren't invisible to colorblind people. They just can't discriminate some colors from others as well. I would guess that this color is more different from the body text in some color channel that's extra useful for contrast for colorblind people.