bold

Hi. Would it be possible to have an option for a much more prominent Repeat sign? So the vertical line would be much thicker, and the curls at the top and bottom longer. I understand space is often at a premium, so having and standard Repeat sign and a Bold repeat sign would give people the...