RecentFile plugin remembers files from last session