Hi there. How feasible it would be to add an export button to the notebook? Maybe to some file format that retains the formatting (so not txt)? An import button from several file types could also be nice. I guess these are not easy features to implement, but would you agree to consider it for...