4 ms·

Thanks! will update. -- I am the translator-typesetter

• mkl 2y ago
  The archive.org page now says "This item is no longer available. Items may be taken down for various reasons, including by decision of the uploader or due to a violation of our Terms of Use." What's that about?
• helpfulContrib 2y ago
  [dead]