If Hotstuff had not put a copyright symbol on it I would have considered just loading it here without asking permission… I will send him a pm, but seeing as he’s not been in in years unless he gets an email notification he probably won’t answer.
Yeah, HoH has been updated to a new version - no main, page no wiki, no nothing- and now it seems lost. Sadly GFS never got permission to host it here.
But I do have a copy - that I could mail to those that might like to have a look.