Added presence messages info on the spec