Oh yeah, someone said Team Rebug are quitting, That's not true either, this thread is so full of mis info it should almost be deleted, but maybe its been saved now
By the way, now that you have swapped kernel you are on D-REX, so in future when Rebug updates come out you need to pick D-REX version instead of REX, As REX wont install over D-REX and vice versa. But they are basically the same FW.