partial revert due to inconsistency with settings (pr comment)
partial revert due to inconsistency with settings (pr comment)

specifically, go with option 2 from this comment:
https://github.com/lampepfl/dotty/pull/16011#discussion_r978775319

> add just one setting in this PR and replace the hardcoded value only in the places where it semantically corresponds to this setting and after that add the other setting in a followup PR

sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty