how/where to find Gnome Preferences Tool?

[ken]

Though I've seen the Preferences Tool mentioned in several gnome docs 
(including the userguide.pdf), I haven't been able to find it on my 
system (Fedora 33) or in the repos so I can download and install it. 
Does it still exist...? or is it perhaps included in a package by some 
other name?

tia.
_______________________________________________
gnome-list mailing list
gnome-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-list