rename Filter to IPFilter
docs: api is quasi-stable