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