On Thu, Nov 8, 2012 at 5:15 AM, David Ostrovsky <david.ostrovsky at gmx.de> wrote: > > Decision? the ones who wanted it removed surely don't care since they do not use it. the ones who used it have done so for quite a while under the current name... Norbert