Mirrored Reads for Aggregation $match stage

Hello,

It would be helpful if mirrored reads supported the first $match stage of aggregation pipelines.
From the documentation it looks like these are not supported:

Mirrored reads support the following operations:
- count
- distinct
- find
- findAndModify (Specifically, the filter is sent as a mirrored read)
- update (Specifically, the filter is sent as a mirrored read)

I wanted to ask
a) that this is the case (not supported for aggregations)?
b) If support would be considered for a future version?

Thanks
Jason King