Desura has been acquired by Bad Juju Games, a company focused on big data management for video games. What can we expect to change from Desura distribution services?