Whoops, I'm confusing it with `preg_replace()` (which *would* be a "better" solution, although much slower).