[bitfolk] Re: Understanding what's needed to patch Looney Tunables