Hello 
We recently noticed that the metric mongodb_mongod_replset_member_optime_date is no longer available in the latest MongoDB Exporter versions and seems to have been replaced with mongodb_rs_members_optimeDate. and another metric mongodb_mongod_replset_member_state → mongodb_rs_members_state.
Is the old metric officially deprecated, or is it still available in older versions of the exporter?
If it is deprecated, which version removed it?