These days, Nvidia graphics is more platforms than just cards, more
renderers than just OpenGL, and more display protocols than just X.
This increases external consistency, clarity, and eliminates jarring
line wrapping at reference column width 80.
This is also a good time to decide how to correct capitalization. Do we
use "Nvidia", what the company calls themselves in text, or "NVIDIA",
how they stylize it in their logo? I don't see external use of "NVidia".
Search is case insensitive either way, but it looks unofficial to be
capitalized differently than everywhere else..