https://lacucinadiadine.blogspot.com/2024/03/how-can-i-get-option-export-notebook-to.html