Rework the file opening procedure
A rather natural complement to !31 (merged). See the individual commit messages for more details.
Edited by Gaël Bonithon
A rather natural complement to !31 (merged). See the individual commit messages for more details.