This Pirates of Penzance is primarily a historical document, part of the Broadway Theater Archive television series. It presents, with some inevitable, tiny technical shortcomings, a live 1980 performance in…