bin/tla
bin/tla-gpg-check
@comment automatically generated plist for docs