We should add a github actions workflow or similar that runs on every PR and checks whether the files include the required license header block.