Merge "docs: update api filtering to support provisional APIs (api levels that are string names)"