Was the process of choosing the new name done properly?

The process was not good enough. We missed:

Added: Sept. 17, 2017, 7:30 a.m. Last change: Sept. 17, 2017, 7:35 a.m.

a good read, even if he downplays it, Trello is much better than Trellis ;): http://blog.fogcreek.com/the-agonies-of-picking-a-product-name/