Fix bug in paths replacement for search js

For production pipeline, paths to js and json files are set wrongly: leading // instead of /.

Fix that.

---

Don't forget:

• revert e8f70aac, i.e. re-add search symbol, once working.