These people have contributed information, suggestions, and corrections. Thanks to all of you! There’d be fewer facts here, and more errors, if it weren’t for your efforts.