Let push notifications vibrate.