Update branch

Replace dev by main everywhere in the documentation after merge to main branch.