Re #9810 Add option to SaveASCII