use filter_name() for Server name

Since many servers also use colored names, they should also use filter_name().