gui: Allow File|Open to select an encoding for system files.