Use random ID for push notification notification; add TODO comment