Download as OCaml has a .txt extension #44
Description
In Jupyter with iocaml-kernel, the Download as OCaml menu entry gives a file with a default extension of .txt instead of .ml. This is slightly inconvenient as eg. Emacs will not activate tuareg-mode when opening a .txt file.