Contacts showed up once, days ago, and then disappeared. It hasn’t reappeared since. I’ve seen discussion about “my contacts” showing up, but didn’t know it related to app push notifications.
Edit: I followed this thread to “import contacts” in the IDE My Contacts - is it back? - #18 by bamarayne and now “My Contacts” shows up in the app. No idea if that’s a good thing, but I guess I’ll find out.