adjust defproc* so that it only shows the white background label once, instead of once per different identifier that it is documenting
adjust defproc* so that it only shows the white background label once, instead
of once per different identifier that it is documenting

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket