Re: 12 questions for FIXMEs

[Karl Berry]

      7: warning: Superfluous argument to @end html:  @spaces{}

I think that message is perfectly fine, indeed, I think it is the right
thing to do.  Seems to me what matters is whether there is literally
anything after the @end ..., not whether anything survives after
expansion.

Thanks,
k