K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2019-10-01T10:47:25.885042Z
K 7
svn:log
V 80
Fix USE_GITHUB usage.

While there, move things around to respect our policies.

END