DISPLAY FILE LABEL is no longer undocumented.