reverting the documentation version to "develop" after latest merge