Moving forward, please start uploading user manuals (decoders, boosters, etc) to the wiki and then linking to that file instead of an external source. There have been instances where one or more have happened:
1) The manufacturer goes out of business and the manuals are lost
2) The manufacturer changes everything around and the links are no longer available
3) The manufacturer stops providing manuals for really old decoders
Generally, companies have had no issues with getting free help with supporting their customers. This lessens the burden on their support staff and helps keeps their costs lower. If a company has an issue, they can use the existing measures in place to remove copyrighted material from DCCWiki.
For details, see the Product User Manuals help page.