hack: temporarily revert 'iIntros (x)' doing iStartProof
Fixes #533 (closed). Not a great fix but at least this should now be more backwards-compatible.
A proper fix is blocked on #535.
Fixes #533 (closed). Not a great fix but at least this should now be more backwards-compatible.
A proper fix is blocked on #535.