String.replace() implementation is very poor

Fixed :clap:

6 Likes

Well done, Francesco!
Next improvement could be the performance of the case-insensitive String.indexOf() which is also rather poor. But that’s for another topic :).