Remove functions from String_extended:
String_extended
String_extended.is_substring_deprecated
String_extended.pad_left
String_extended.pad_right
Unix_extended.terminal_height
shell
shell.filename_extended
shell.low_level_process
shell.shell_internal
shell.string_extended
shell.unix_extended