I just received an email from Curtis Huffman that Randall Hall has passed away in February of this year from complications related to Covid.   If I find out anything else, I'll let everyone know.

Bo