Issue #3048060 by willzyx: Create a custom element for tables with on-the-fly filtering and use across devel's functionalities