Obsolete; see [[FilterManager]]