I assume this is https://github.com/element-hq/element-x-android/issues/4880. Obviously push should be reliable on Android; on Element X iOS it’s rock solid these days. I’ve escalated the issue internally (it wasn’t on my radar, irritatingly).