2019-11-23 UTC
# [chrisaldrich] There's definitely a difference between the two but there's also some subtle overlap as well. Via is more often toward the neutral while hat tip generally has a more positive, honorary connotation. I didn't mean to conflate them, but they're certainly related concepts.