@cuchaz Thanks for this. It being inside actual GUI and not mentioned at all is just baffling. I didn't even spot it because I don't go into settings daily.