Re: [Hat] broken link to hat-explore user manual