> Ok, at least in the GUI using as separator works. > Is this a HTML-specific separator?
no, this is the decimal notation of a line feed in UTF-8. Not sure what you environment expects your encoding, you might want to try carriage return instead ( ) Line endings can be fun. Best Daniel