This Javascript widget strips non-numeric characters from the input. The result will be a space-separated list of numbers. This is useful for extracting information from log files, dumps of data, and similar text.
(Originally, these were going to be active blogs, but right now, I'm going through my bookmarks to review old material, so it's here. It's obsolete leisure study.)
e