Created by: philipp-spiess
Follow up to #37824
Reverts the lines that were automatically changed. I may have a wrong local IntelliJ setup.
Doc change
Push commits to the source branch or add previously merged commits to review them.