Code folding and especially header collapse extensions transform Jupyter from functional to pleasurable. Is it possible to enable these extensions? If it's not currently supported, how much effort would it take to incorporate them?
