Merge "Fix broken documentation in android.credentials" into main