You're right; thanks. There is a difference between "providing source code" and "providing source code that may be built and run by the user". RMS was right, about tivoization.