Updated documentation about export