<!ELEMENT file (#PCDATA)>
This element occurs in : Element: <download> | Element: <search_replace> | Element: <textdump>.
The element file is used to specify the filename for a download, search_replace or textdump operation.
See any one of the parent elements for an example.