Is there any documentation on the push notification title and body formats? I am looking to modify this behavior using the controls in the “Destinations” form, but would like to start from the current (default) format to incorporate variables from the “URL notification parameters” popup tooltip box. Thank you.