Two more changes

 * Support for +∞
 * More useful feeds (including a change to the report classification, deemphasizing trends)
This import is not used