Gioc: Adding docs.
Gioc: Updated doc. addPost and addProvider check for unique before push.
App: Update after example.
Spec: WIP.