Hi, I have just added a build version (the latest version number parsed from the debian/changelog file at build time) to the installation-guide.
Makes it easier to spot build failures or other problems at the website or the like. FYI Holger -- Holger Wansing <hwans...@mailbox.org> PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076