Re: Announcing the rawhide kernel nodebug repository