Yup, fallback to polling should work fine. In future, when folks implement more efficient transports for Matrix than HTTP+JSON then Matrix itself could be quit

Yup, fallback to polling should work fine. In future, when folks implement more efficient transports for Matrix than HTTP+JSON then Matrix itself could be quite a compelling open alternative to GCM for push notifs :)