Improve formatting of definitions in the Push Notifications section.