Est ce bien la place de RecordingTools ?
Je ne sais pas is on doit le laisser dans le group record, je le verrai bien dans record info, non ? Il me semble qu'il est dans les 2 mais j'ai du mal dans gitlab a voir a quels groupes est rattache un projet et comment modifier cela.