[manigandham]

It's not petty, there is clear confusion in the community between prestodb and the fork called prestosql, which also continued to call itself the "official presto" all this time.

Forks like this should really use a different name from the outset when the existing project is still alive with a large user base.