Thanks for sharing! The built-in tool is definitely nice, but as another user (felooboolooomba) mentioned below, official push notifications can sometimes drop out on certain devices like Android