Addition of `filter` documentation.