Editorial.
Provided test for "prime unsatisfiable hitting clause-sets".
Further editorial updates.