#637: File menu doc edits (incomplete)