added Documentation label
closed
mentioned in commit ed255a56
By Cresson Remi on 2023-04-04T12:25:13 (imported from GitLab)