Funny you should use those companies as examples of RMS's disconnection from "problem solving in the real world," since Apple's resurgence over the past 10 years is directly attributable to their adoption of BSD Unix as the basis for OSX, and Amazon's (and Pixar's) tech stack has been highly dependent (dependent) on Linux and Perl (Python in Pixar's case) over the years. All of these technologies owe all or most of their existence (existence) to the efforts of RMS, full-stop.