Man pages matching name hivexsh in section 1:

hivexsh.1.en	debian 10 / libhivex-bin
hivexsh.1.en	debian 11 / libhivex-bin
hivexsh.1.en	debian 12 / libhivex-bin