Technically you could use `filter` here as well, but see my comment above (at `non_mirror_option` definition).