trivial change as an excuse to push to new default branch in documentation repo

trivial change as an excuse to push to new default branch in documentation repo #6000