it's also not completely not necessary I believe you did not want to write the first "not".
Among the different levels, VRMS only checks whether the packages (and not software installed bypassing the package manager) are in the "non-free" section or the "contrib" section of Debian's package repository. As a consequence, VRMS reports offenses to the Debian Free Software Guidelines (not the GNU Free System Distribution Guidelines)... such as documentation licensed under the terms of the GNU FDL. Writing that RMS is not "proud" of you because you use the license he wrote for documentation is outrageous!
