DjVu Specs are placed in DjVuLibre Source code in doc/ directory. Are they licensed under GNU GPLv2? If not, what is the license?