History panel (editable and current): show contents count and links to toggle show deleted/hidden in subtitle; minor style fixes