The #PS4NoDRM campaign a success