Add "Rules" heading and "Filter ..." field to Rule Browser.
Add "Rules" heading and "Filter ..." field to Rule Browser.

Note that the "Filter ..." field does not do anything yet.

itsjeyd/ODE,itsjeyd/ODE,itsjeyd/ODE,itsjeyd/ODE