No worries, just make the name switch sooner rather than later. Since your target audience is obviously developers in general - to whom the patch tool is well k

No worries, just make the name switch sooner rather than later. Since your target audience is obviously developers in general - to whom the patch tool is well known - it will most likely affect your business negatively if you don't... How did this not come up during your market research?