I'd make the discussion of `@@` much less prominent.
It can be mentioned somewhere toward the end, but I think it should not be proposed in the PEP.