Just a follow up to this post. A deep scan showed that I have nothing to worry about – not even a false positive. Neat!