He has always distinguished sharply between linked code (which the GPL
covers) and evaluated/compiled code (which the GPL does not cover).
If you want to know whether he is right, ask a lawyer.
If he is wrong, there is no longer any substantial difference between
the GPL and the LGPL.
------------------------------------------------------------
I suggest you (when dynamic linking becomes supported) add text to the
effect of:
RMS writes on the subject of dynamic libraries:
<they are covered by the GPL>
If you disagree, contact rms(a)gnu.org or a lawyer, not us.