Renamed Redis Desktop cask to Redis Desktop Manager