Some fix to macros docs (#7608)
Some fix to macros docs (#7608)

Some changed needed for #7608. I'm sure more such changes are needed.

sjrd/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,lampepfl/dotty,som-snytt/dotty,som-snytt/dotty,som-snytt/dotty,som-snytt/dotty,sjrd/dotty