Merge "Improve the <android/api-level.h> docs slightly." into main