Link to offline tar-ball.
Remove print/pdf buttons from printable pages.
Autocommit: libraries changed 2014-06-17-17:09:30