thanks a lot. Yeah, its a brutal bug exterminator combo, and somewhat easier to wrap your head around that coq or similar.

I am trying to find an organic use of the H in HSM for server side stuff, but struggling to think of examples that are not contrived if you have any.