Rename "Web Messaging API" to "Messaging API"

The name "Web Messaging API" is not intuitive. There is no such thing in the Web standards. There used to be a document "HTML5 Web Messaging", but actually it defines two methods of communication "Cross-document messaging" (used here) and "Broadcast messaging". 

For short, we should call it "Messaging API"