Desnowflakification of numNotifications

That is, removed it as a special Play entry point, and added it to
NotificationFunctions.