​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