Re: [RFC PATCH] Rename disto_[pxe_]getfile to distro_[pxe_]getfile