Aus meiner Sicht sollte die genannte Dokumentation entweder verlinked werden, sofern sie die Bedingungen von Wikipedia:Weblinks erfüllt, oder sie dient als Quelle für bestimmte Aussagen, dann sollte sie aber z.B. Wikipedia:Belege#Was sind zuverlässige Informationsquellen? entsprechen. Nur ein Hinweis auf eine Dokumentation ohne Zusammenhang finde ich nicht sinnvoll. Ich habe die Doku nicht gesehen, daher kann ich diese fachlich nicht bewerten, aber grundsätzlich kann aus meiner Sicht auch eine Dokumentation als Quelle dienen, dann sollten die Punkte aber in den Artikel eingearbeitet und die Doku als Einzelnachweis verwendet werden.-- Unimog404 10:47, 10. Jul. 2014 (CEST)