IDE: Auto-select required libraries when adding extension

2023-11-22, Edouard Tisserant