All files in this directory should be considered Public Domain (CC0), unless stated otherwise in the file header or elsewhere.