В графическом интерфейсе Arduino на окнах, если я нажму на Sketch → Import Library, в нижней части меню появится раздел "Contributed".
К сожалению, я обманул и добавил библиотеку, которую я не хотел в этом списке.
Как удалить его из этого списка?
На странице справки только упоминается, что "Если эскизу больше не нужна библиотека, просто удалите его инструкции #include из верхней части вашего кода", но в нем не упоминается, как удалить библиотеку из списка предоставленных библиотек.