Two pages don't have media3 equivalents, so are redirected to https://developer.android.com/media/media3/exoplayer instead: * https://exoplayer.dev/design-documents.html * https://exoplayer.dev/pros-and-cons.html PiperOrigin-RevId: 621497706 (cherry picked from commit e6e7240df758b9ed6d757c77ca8855edd6aa7976)
