@code{error} is released under the LGPL, whereas @code{progname} is
GPL. RMS does not want additional baggage accompanying the
@code{error} module, so an LGPL user must provide their own
@code{error} is released under the LGPL, whereas @code{progname} is
GPL. RMS does not want additional baggage accompanying the
@code{error} module, so an LGPL user must provide their own