We've recently renamed it: https://github.com/AdguardTeam/FiltersRegistry/pull/357 Needs to be done explicitly in the Android app.