HotSpot has been updated to version 1.0.1 with some minor improvements. I can't see it in the readme but I hope that they've fixed that extremely nasty bug reported last week. (JDC logon required for this site)