The guy that’s been non-stop pestering me about push notifications for months seems to have deleted their account just before I added them