Don't comment. Either remove it or keep it. In this case removing it might be the better option, as it seems unrelated to the problem this PR wants to solve. In case I'm missing something, at least add a comment explaining why this is commented but needs to stay in.