[checkmk-commits] GUI cleanup: moved button for deleting a host to header