IntegTheremin and library updates