Update docs

@aldeed I’ve set the repo to devel pr. default - until we merge to
master