Official Debian packages should not recommend adding unofficial apt sources, and the "Windows considerations" and "Usage" sections are irrelevant to this package. For the latter, irony-mode will not build irony-server, because the irony-server Debian package provides this functionality.
