Re: no more Kile packages for 15.3?