[rms@gnu.org: Re: on the necessity of a @snowflake codedoc annotation]