Clean up capitalization of product names, as well
as improve backtick use in /ci docs