#8040: add a version switcher to the documentation.  Patch by Yury Selivanov.
4 files changed