Arvados

• Shouldn't need any changes to API server
• Use FasterCSV
• Example: http://stackoverflow.com/questions/94502/in-rails-how-to-return-records-as-a-csv-file#answer-94626
• Include (at least) email, full_name, uuid, created_at, prefs
• Split prefs attribute into multiple columns, e.g., prefs:profile:title column will contain user.prefs[:profile][:title] values. Iterate over users to enumerate needed columns.
• Serve at {workbench}/users.csv by overriding render_index in UsersController

  def render_index
    respond_to do |f|
      f.csv { render_csv_here }
      f.any { super }
    end
  end

• Perhaps rename "Activity" tab on users#index page to "Admin", and add "Download profiles" button there.