On Thu, Feb 26, 2015 at 07:09:08PM +0100, Tomáš Čech wrote: > But it seems that the filename is really important to you all so I'll > change the name.
Not really, I care a lot about package names and little about file names :-) It was just a suggestion to think about, whatever you prefer. Andreas
