According to [the specification section 9.1.5](https://python-processing-unit.github.io/Prefix/SPECIFICATION.html#915-string-operators): > - `STR: REPLACE(STR: value, STR: old, STR: new)` = MUST return `value` with every occurrence of the non-empty substring `old` replaced by `new`. In the implementation, however, empty `old` succeeds as a no-op.
According to the specification section 9.1.5:
In the implementation, however, empty
oldsucceeds as a no-op.