New comment by oreo639 on void-packages repository

https://github.com/void-linux/void-packages/pull/36445#issuecomment-1085254867

Comment:
> afaik GNOME didn't replace gnome-terminal with gnome-console with GNOME 42

Sorry I misread this, they did replace gnome-terminal with gnome-console (gnome-terminal was moved from gnome-core into gnome-world).
https://gitlab.gnome.org/GNOME/gnome-build-meta/-/merge_requests/1404

I made this a separate PR to make it easier to review and since it doesn't depend on anything else GNOME 42 related.