Documenting `export`