It was a mistake to remove the seed for the random number generator; push notifications with the same ID were being generated.
In the future though, maybe we should look into using sequential IDs rather than random ones.