@emmanuelle I think currently only the release guidelines discuss how to do these things.