The protect_strings function is not used, we may delete it

[taskset]

This function is not used: let protect_strings s = ( Drop escaped string quotes - they aren't words, so we don't care about them ) so we may delete it and make the code simpler.