Comment by pancomplex

I went back and forth with my coworkers on the naming and we essentially voted on Hob vs Garth. Vote came to Hob. Do you prefer Garth?