User blog comment:SamwiseFilmore/GUI Programs/@comment-25841881-20170412213001/@comment-25330335-20170415033849

I really don't know what string manipulation libraries are available in Python (I'm sure there are lots), but it's still not something I'm entirely interested in messing with...