be resolved in favor of coverage. For a particular user, "normally used" refers to version 3 of the GNU General Public License can be used, that proxy's public statement