Extensions for Vanguard IDE