How to add a different arduino core

6

This was released today as stable 5.2.0. Update your platforms (pio platform update) and try the instructions from the documentation linked above.