GoProof Extension add collaborators credentials