Everyone made the same joke about Bucks hiring Doc Rivers