REF: Rename export.py -> display.py (not a public API change)