Formalize StarCommand end of list

Another very low priority request. Currently, the ls* commands in StarExecCommand print a list that is terminated by a blank line. This is a very useful feature when developing scripts to know when the list ends.  Please formalize this feature [or an alternative] in the StarExecCommand interface and document this in the manual.

Code:

StarCom> lssubspaces id=1715
id=1855 : name=QF_BV
id=2097 : name=QF_NIA
id=2103 : name=QF_RDL
id=2161 : name=UFNIA
id=2004 : name=QF_LIA
id=2101 : name=QF_NRA
id=1850 : name=QF_AX
id=2110 : name=QF_UF
id=1810 : name=QF_AUFBV
id=1837 : name=QF_AUFLIA
id=1716 : name=AUFLIA
id=1805 : name=LRA
id=2081 : name=QF_LRA
id=1783 : name=AUFLIRA
id=2144 : name=QF_UFLIA
id=2159 : name=UFLRA
id=2157 : name=QF_UFNRA
id=2120 : name=QF_UFBV
id=1795 : name=AUFNIRA
id=1930 : name=QF_IDL
id=2153 : name=QF_UFLRA
id=2123 : name=QF_UFIDL

StarCom>


See the blank line before the second "StarCom>".

Hello Tim,

We've formalized the "\n" list termination in the StarexecCommand Manual as follows:

List Commands
-------------

These commands will print the contents of a given space to the console. IDs and names will be printed.
All lists are terminated by the newline character "\n".
Every command in this category requires the "id" parameter, specifying a space. The parameter "limit"
is optional, and indicates that at most "limit" primitives should be printed. An example is given below


Please let us know if there any list commands that don't behave as described