On Wed, Jun 10, 2015 at 4:12 PM, Dirk Hohndel <dirk at hohndel.org> wrote: >> Those should disappear the moment the globe is refreshed. But you are >> right, I should prevent them from ever showing up as they are just >> confusing. > > Fixed in master :-) Faster than light -- Davide https://vimeo.com/bocio/videos