Comment by zipmapfoldright

what's the default though? defaults matter, most people don't change them.