Hi Aaron,
This would be great to go in the openlilylib library when ready, Thanks for your help. I am sure that once available, many people will use this. It can go alongside my pedal decoration code there (down with the help of several others). Pedals have been somewhat neglected in lilypond, being rather restricted to 19c practice, with that awful Ped. font from 1850 or so.
Andrew