Oct 2020: The list below has been updated to retain only those servers that appear to still be actively maintained