3 ms·

Thanks! I actually tried installing these, but haven't noticed the warning that it shouldn't be configured via gnome-appearance-properties.