I agree... I would fix it, especially when it's so simple to remove the binding, smooth it out, trim it off and reapply binding. You are lucky the folded fabric is right near an edge and wasn't quilted down.
The fix won't take any longer than hand stitching the fold down, and the quilt will be right instead of wrong.