at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances

at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances #1237