Using libraries with VS code Arduino extension

OOPS. Forgot, double-click select doesn't pick up the extension.