tla-doc: extra-license-file usr/share/doc/tla-doc/html/COPYING.txt
