ParentFull threadzipmapfoldright·what's the default though? defaults matter, most people don't change them.View on HN