The marking of the  GR5 ( walked this section in 2024) follows the Route Basse des Ayes -it does neither pass le lauzin  nor the Route haute des Ayes.
I preferred not to change it assuming  there is a local maintainer for this Part of the trail.