A bit like #19651 (closed), from https://release.gnome.org/42/.
Terminal still has a bit more options:
Console makes the Dark Theme easier to turn on and off: