$IPX Addendum: What these ORNL, Boeing and Paramore Titanium Papers Tell Us and Why They Undercut Spruce’s Claim That “HAMR Should Already Be Commercialised” Introduction: Why These Documents Matter