Why3 should not save files loaded via spans
I encountered a rather confusing error earlier: If Why3 loads a file due to source spans in the IDE, saving the 'files and session' upon exit also saves those files, despite them being read-only. This is problematic when performing edit-reload-prove loop style workflows where I make changes to the source file, reload a running session and attempt to finish proofs since all my changes get deleted by Why3 upon exit.