string_ext.lua: use Lua terminology "pattern" rather than "regex"