I walked here the other day. It's still marked for GR routes. There is no sign that (coming from the north) one needs to take a right turn at the location of the pin just above this one. But there are GR markings on this route. In other words: the reality on the ground suggests that this is still the actually existing GR. There is also no sign that this path is forbidden, so the tags for this stretch should be changed accordingly.