Since HAWQ® is a registered trademark, we need to ensure we mark it appropriately to ensure that we can preserve our rights.
This task tracks the update of the website's home page and download
page (or section of the website) to add the ® character after the first
and most prominent mentions of HAWQ in any text (i.e. not inside graphics).