I’m looking for a good example of Select Filtering under the Element UI.
I’d like something that shows the filtering in action and lets me play with the filter.

https://element.eleme.io/?ref=madewithvuejs.com#/en-US/component/select#option-filtering is not one.
As far as I can see it behaves the same way as “Basic Usage”.

Is the documentation lacking or is there something I’m not seeing?