No issue with the decision last night. Three data points out together - bat very close to ball, Hotspot and snicko - combine to make it clearly out, notwithstanding a very fine edge.I'm in two minds really.
It was right on the borderline of being able to overturn, imo. The evidence was strong that he hit it, but was it conclusive? Snicko alone is never conclusive, other noises can and do happen simultaneously quite regularly. Was there enough with other evidence to overturn?
I guess if you have the technology you have to trust it, yet something like this still comes down to a judgment call. (Yet we don't trust the tech with "umpire's call" on LBW even when that may not be the reason an umpire said not out - but that's a separate rant).
On your other point, umpire's call in LBWs should be limited to the predictive element. Where a ball pitches and hits the pad are facts, and it should be called as either in or out.