master: Bumped version number in documentation.