K 10 svn:author V 3 jhb K 8 svn:date V 27 2017-11-29T05:07:54.185181Z K 7 svn:log V 205 Replace a reference to a license in another file with the license text. The relevant file was recently renamed, so the reference was stale. In addition, explicit licenses are more typical in our sources. END