What 413x showed is not a hiking boot but a a trail running shoe with higher ankles for winter useOh for sure, that's why I said soft gortex boots (which those Hoka Trail boots are) are totally fine, or at least for most things.
There is zero need for any actual hiking boots, whether goretex, leather or any claims of lightweight. For any hiking then trail running shoes are absolutely perfect. If you need to use crampons then you want an alpine boot, and may well use trail running shoes as an approach shoe to the climb.
The era of traditional hiking boots and wax jackets is long over