No mystery or reason to debate this question. The Hi Power is designed to be carried cocked and locked. Just like the 1911.
(BTW, who cares how the the IDF carried their BHP's years ago. They were wrong then but are probably carrying Glocks now so it's a mute point.)