Allowing default shell, and renaming it to shell.ml

Created by  Madx  on February 2, 2026
6BIP2OPVOFSOHOFNNRARTKNZFRZH7IDZOAJEPW33KKFGMSDIALYQC
Change contents