2019-01-16: Updates to IDA service

  • Enhancements to the performance and robustness of the service.

The update may have included changes to the web UI which some browsers may not refresh and reload automatically. If you experience unusual behavior, we advise you to flush your browser cache and cookies.