[ ] The code is documented and the documentation renders correctly. Run
make doc to generate the documentation locally into BUILD_DIR/docs/html.
Then open index.html.
[ ] The code follows the stylistic and code quality guidelines listed in the
code review guide.
[ ] The PR lists upgrade instructions and is labeled bugfix or
new feature if appropriate.
Proposed changes
Addresses some comments in #6053.
Upgrade instructions
Code review checklist
make docto generate the documentation locally intoBUILD_DIR/docs/html. Then openindex.html.bugfixornew featureif appropriate.Further comments