SOLVED: Seeeduino AVR Boards not in board manager

Congratulations on finding a solution to the problem!