Hello, guys!
There is a snap package made for TLA+ [1]. The package was created on 17 May 2017 and no updates followed after that. However, last update from TLA+ maintainers was on Dec 07, 2020 [2]. Current maintainer Andrew Wilkins is not interested in updating it and he “also lost my 2FA, and do not have the patience to recover my account.”. Could anyone take mainternership for package or even remove it at all?