added “The Permissions API”; changed status of “HTML5 Web Messaging” from CR to PR