[FO31] array:join – misleading name?

Hi,
The documentation for array:join says:
    Concatenates the contents of several arrays
and "concat" is a common term for such functionality for arrays, whereas
"join" is common to join the elements of an array into a string,
separated by a specified separator.

Therefore I would propose:

  array:join($array as array(*)) as xs:string
  array:join($array as array(*), $separator as xs:string) as xs:string

  array:concat($arrays as array(*)*) as array(*)

salute
Th. Fischer