The bug has since been fixed. The values still could change, as the API is labelled as @UnstableApi, so it's probably fine to leave the <p> tag mostly as is. PiperOrigin-RevId: 490509205
