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