rectification; Abhyankar-Sathaye embedding problem; variable Lie algebroid; dg-Lie algebra; formal moduli problem; Koszul duality; deformation theory; derived infinitesimal thickening; Kodaira-Spencer; Schlessinger conditions; formal moduli problem; small extensions; \(\infty\)-category of Lie algebroids 