On Monday 24 October 2016, Aleix Pol wrote: > I don't think this addresses David's question. > > "weird politics" is a bad explanation (I'm unaware of the back story). > > Does that mean we can remove it then? indeed, it's time for a final decision on this -- Marco Martin