Consider removing linux-tor-prio.sh from contrib/operator-tools
This script wasn't updated much since 2008 or so. Is it still used by anyone? If not, we should delete it.
issue