Daredevil HK supposed swap w/ Thor Rags in map 7 section 3?

Pizzabeat

So sayeth the update notes, but DDHK still remains



Or am I mixing it up with a different variation?