Strip digits from string
This one-liner strips all numbers from any string. I show it in BASH using sed which does a RegEx expression to match only digits. Python has the built-in function str.isdigit() so we test each character and make a list comprehension