Based on my reading of the pydev discussion, the doc correctly describes
the design intent.  If there is any bug, it is in the optimization of
skipping the apparently redundant first name binding.  I presume the
thinking was that since the decorator gets the function as an input,
there is no sensible need to access it again via its name.  A conforming
implementation should be free to not do this optimization, but to simply
make the easy and obvious translation.