K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2019-02-04T13:08:16.135996Z
K 7
svn:log
V 102
Fix USE_GITHUB usage.

(And in some case, reorder the Makefiles a bit to complie with the
 handbook.)

END