Hi all, I was just wondering what the numbers of downloads on this page measure. If those are the correct numbers of total downloads, it would be kind of sad that we are putting so much effort into it. Could someone give the definition on how those numbers are calculated? Thanks Johannes