5eTools hasn't been killed yet because it's a github repository; it wouldn't matter at all, because everyone else and their mother's could host a new one instantly.

It would just bring attention to the fact that there IS a free tool that's way better than the official ones, because it being removed would make to the news, people would talk about it on reddit, etc...