Arducam Camera Module for Raspberry Pi Pico problem on Arduino IDE

Raspberry Pi Cameras
1
  1. Where did you get the camera module(s)?
    Amazon Arducam Store
  2. Model number of the product(s)?
    QVGA HM01B0
  3. What hardware/platform were you working on?
    Windows 10
  4. Instructions you have followed. (link/manual/etc.)
    Arducam Camera Module for Raspberry Pi Pico Quick Start Guide
  5. Problems you were having?
    Cannot find ArduinoPico4ML board in Arduino IDE after installing Board Manager package
  6. What help do you need?
    It appears that the Arducam Board Manager package conflicts with the one from EarlePhilhower: https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json