tmate differences are covered here: https://news.ycombinator.com/item?id=21264797 https://news.ycombinator.com/item?id=21264797 You’re right about the ID, we’l

tmate differences are covered here: https://news.ycombinator.com/item?id=21264797 https://news.ycombinator.com/item?id=21264797 You’re right about the ID, we’ll add that in :-)