hal.pyx license & copyright tag