I'm not sure it actually makes sense for the push stuff to be interoperable since you need server keys anyway, but maybe the code will be useful