Fix #20195: wrong reference in session settings documentation.