FA.refresh_time.patch

diff --git a/ubiquity/modules/feedaggregator.js b/ubiquity/modules/feedaggregator.js
--- a/ubiquity/modules/feedaggregator.js
+++ b/ubiquity/modules/feedaggregator.js
@@ -98,17 +98,19 @@ function FeedAggregator(feedManager, mes
         }
       }
   };
 
 
   self.refresh = function FA_refresh() {
     let feeds = feedManager.getSubscribedFeeds();
 
+    var t = new Date;
     feeds.forEach(function(feed) { feed.refresh(); });
+    Utils.reportInfo('refresh time: '+ (new Date - t));
 
     if (feedsChanged) {
       commands = {};
       commandNames = [];
       nounTypes = [];
       pageLoadFuncLists = [];
 
       feedsChanged = false;