At last count, the number was up to USD 87693.47.
Groupon have indeed contacted us in the last few hours and have agreed
to abandon their 28 relevant trademark applications as well as to
change the name of their product. For a little bit more information,
see http://www.gnome.org/news/2014/11/groupon-has-agreed-to-change-its-product-name/