I am working on a project (Maxima) hosted at Sourceforge. I am thinking about changing some labels. For example, if a label is now "Foo Bar" I might want it to be just "Bar". Is there a way to change the text for a label?
I suppose I could find all the items labelled "Foo Bar", label them with "Bar", then delete the "Foo Bar" label. That seems error prone and tedious. Is there a better way?
I looked for a user forum at Sourceforge itself, but didn't find one. Thanks for any advice.