Some minor documentation cleanups were made at the same time.
Now the version number is not duplicated in the Windows-specific files anymore.