---- Changes since 1.230 ----
Added checkboxes and a button for deleting multiple servers at once.
