External Files from Github

It is now possible to directly link to files on github.com. Any such links are then shown in the File Download section and counted normally.