Haha glad it brought back fond memories! Grob is just the nickname of my username GroverBurger. Fun coincidence.
alt Hacker News