There are a few tools in the list that are dead/archived repos. The question is what the best way to deal with them are. Do we want to remove them entirely from the list, or add a kind of "archive" section at the end for more historical references (in case someone would like to reference the Ethermint repo for instance).