The old option is left for backward-compatibility purposes, but it has the same
effect as the new one.

Closes: #1093

(manually cherry picked from commit e371b1a9)