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.