​Thank you for the answer, that's very generous of ​you and your client!

(I had thought the http://plan9.bell-labs.com/sources site was having

trouble, looks like maybe it's just Chrome getting aggressive about

HTTPS and failing, I can open the page w/ lynx).

Jim