Alejandro,
I think I got your point about messages vs. methods.

But I believe that assuming that two methods with the same
selector implement the same message (semantics) does not hold,
and is hard to enforce.

Furthermore, a method comment could not only contain
the message comment, but also information about the
particular implementation of that message.

Just my 2c...
Wolfgang