I added the board URL but nothing shows up in my board manager. This board is unusable from Arduino IDE Version 2.