Some gamers mourn Microsoft's Xbox One DRM reversal