GTM Pack moved into Proof Operations Lab.

One review engine now contains all three generators.

Open the GTM generator