Unmaintained tools

These tools are not maintained anymore: versions might not be up-to-date or possible broken ones are not fixed. Some other properties might be missing as well.