SI-GUI usage statistc + Github

Just 2 small hints:

A new usage statistic is available here.

And anyone with a GitHub account can change the list, which is used for the “Update list of versions” feature.

Yours,

Florian