This was a typo. Although this changes the user option name, this filter, especially this option, is so niche that I fix it without a deprecation period.
This was a typo. Although this changes the user option name, this filter, especially this option, is so niche that I fix it without a deprecation period.