@powersoft, @ajb2k3
Thank you both for your answers.
The board manager url found on https://docs.m5stack.com/#/en/arduino/arduino_development is apparently the old one and still does not contain the M5Paper board, but through the youtube video powersoft recommended I was able to find the correct url and everything works now as expected :)