@walter-comunello wirh a gitlab account, you can easily do it from the browser (there are endless tutorials for that), or at lease open an issue, describe the problem and post the solution. A developer will pick it and merge them if it fixes/improves something.
