fixing format; adding missing link
documenting push notifications APIs