[plt-scheme] scribble: defform* can't define multiple id's?

The defform* form is specifically documented to require that all of  
its forms use the same id, unlike defproc*.  Is there a reason why  
this has to be the case?

For instance, from handin-server.scrbl, I'd like to write this:

@defform*[((!integer id)
            (!integer* expr))]{

   Similar to @scheme[!procedure] and @scheme[!procedure*] for  
integers.}

... sure, I can break this up into two defforms, but it's harder to  
read. Is there some reason not to allow the same thing that defproc*  
does?


John Clements