Boa tarde. Migrei para a plataforma Linux Ubuntu 20.x LTS em junho deste ano (2020). Instalei o Arduino com muita facilidade, mas percebi que na versão Linux, faltam algumas ferramentas. Como por exemplo, "Gerenciamento de Bibliotecas". Não estou conseguindo instalar novas bibliotecas além das que já vieram na instalação. Alguém conhece o Arduino?