With Dolphin 5.0 almost here, we have one last announcement to make. In order to improve user experience in Dolphin, we're going to add a way for users to automatically contribute anonymized information about how Dolphin is running. One of the chief inefficiencies in Dolphin development is that the team...