MapBoo: initial support for push notifications