file-export* labels renamed.

Follows updated save+export specification.
Partial implementation of commit 4b14ed2. The full commit also renames
the actions for consistency.