Before the website revamp, there used to be a section called "Discontinued Tools" or something of that nature. It had links to download user manuals for various discontinued tools. I can't find that section anymore, and was wondering if the user manuals have moved to a different location? Or have they been removed from the site completely? Thanks.