### Manual
The main source of information is the
-[tinc manual](/documentation/tinc_toc). This text describes how to
+manual ([HTML](/documentation/tinc_toc), [PDF](/documentation/tinc.pdf)).
+This text describes how to
set up a VPN using tinc. It also contains a chapter with more
technical details, which you may want to read, as well as the ideas
behind tinc. This manual is currently up to date with version