Hello Sophie, Sorry I missed this bug report before the freeze, I believe that is a good idea.
I think you now have access to the repos under our team, so feel free to push changes to any package I maintain without consulting me (unless you want to check something first). I will also take care of this issue soon (after the freeze) if you don't get to it before myself. Thanks, -- Samuel Henrique <samueloph>
