@Daff
Thanks for the info.
I'm sure it was more the lack of a disk image (to make screenshots) than info. that prompted its removal from HOL. Now that someone's kindly supplied the compilation, I'm sure it will find its way back into HOL when the team gets a bit more free time.