Cannot see 4Duino via "Boards Manager"

Good work jlsogorb!