2018-12-12: Updates to IDA service

The update 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.