[docs] Update version number. I suggest that at some point we make the