How do you remove old task servers?
Our list of task servers in the server console show old task servers, either ones that have been renamed or others that have been decommissioned. I see no way to manage those nor does the documentation describe how the Task Server page is updated. Am I missing information somewhere?
