US Copyright Office says it’s legal to hack DRM to fix your own devices*