[PRQ#87732] Adoption Request for tla-tools

[notify]

archvh [1] filed an adoption request for tla-tools [2]:

I already maintain tla-toolbox, makes sense to take that as well

[1] https://aur.archlinux.org/account/archvh/
[2] https://aur.archlinux.org/pkgbase/tla-tools/