I will look closer at the documents you and Henry have pointed to tomorrow. /Erling On 2017-12-13 18:15, Raul Miller wrote: > That's not it - it's your claim that the dictionary did not document > this functionality that I was referring to. > > Thanks, >