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.