Okay so mine didn't autoboot into rxTools, it autobooted into HBL. I still continued on though. I got BootNTR.cia installed, uninstalled menuhax, did the format with the sd card removed and I just reinstalled menuhax and then replaced the ropbinpayload_menuhax file with the one we backed up. Is...