Remove unused `String_extra` module