Cannot see 4Duino via "Boards Manager"

pert:
Good work jlsogorb!

Thanks, Pert!