updated for release

version bump

documentation update for release

long due, was ready in november 2022 and basically left unchanged at
that stage, except the deprecation of veracrypt in the experimental
portable branch, which is not included in the stable release.

updated documentation for release

documentation for release

documentation updates for release

documentation update for new release

documentation updates for release

known bugs, changelog and manual for sphinx

tagging the release

version bump

integrated latest changes in changelog