The update is far more delicious than the original: http://www.askamanager.org/2016/07/a-coworker-stole-my-spicy...
I'm not sure that the original advice given was ideal. I'd recommend consulting with a lawyer first before giving any information to HR given that OPs job was at risk. But I'm happy for OP that it all worked out in the end.