At this time these have not yet been. DWG ticket numbers exist, see above.
Since the full-scale Russian invasion of Ukraine that in 2022, some names such as street names no longer have a Russian alternative. A further complication was that in some cases Russian “names” were just poor transliterations of existing Ukrainian names. A suggestion to remove these en masse was discussed in the country forum here; and I think it’s fair to say that that approach was broadly rejected (the community was at least against mass edits by that editor).
However, there certainly have been name:ru removals as part of other name changes that have been discussed within the community (something like “we’ve got the list of updated names from XYZ place; the new names take effect from Monday”) on the forum or Telegram.