Uwe Brauer <oub@mat.ucm.es> writes:

> I recommend then to clarify this is in the manual: the expression in the manual is 
> `("export")'

What about the attached patch?