How to ensure "Redirect Comments To Node"

Since Drupal 8, the Redirect module has absorbed the former Global Redirect module.

Global Redirect had a checkbox on the configuration screen, "Redirect Comments To Node". This made sure that example.com/comment/{comment_id} redirects to example.com/clean-url#comment-{comment_id}, and it worked even if there were enough comments on a node to trigger a pager.

I cannot find that option anywhere in Redirect for Drupal 10 / 11.

Can anyone point me in the right direction? Or, if this module doesn't yet implement this, please say and we can change this to a feature request.

(grep -irl comment modules/contrib/redirect returns nothing, so I suspect this isn't implemented. But in terms of avoiding SEO duplication, this must be a common enough request that I'm thinking I must be missing the canonical way to do this.)

Thank you!