I found this in the source code of scripts/reflinks.py: Distributed under the terms of the GPL This seems to be the single case in the whole repository. Is it compatible with our license conventions? It even doesn't have a full GNU-style license header.