1Hosts Mini no longer exists but is still offered among the default lists, it should be removed