Remove an alternative annotation deletion button which was part of an
older UI for annotation cards and is no longer used.