#develop allows you to change settings for files when they are loaded or saved.
???
Each save, a backup copy is made for the file.
Allows you to change the style of line terminator, depending on the current platform.
Macintosh
Unix
Windows