Push notifications sent from the settings page now use AJAX and can be restricted to a specific device