Attempt to autodetect viewer's OS and select appropriate tab.

Download page: small javascript change to highlight the most appropriate download based on the browser's userAgent string. Not sure if it's possible to detect Linux distros somehow; just chose the .deb option in that case.